diff options
| -rw-r--r-- | .Sanitize | 2 | ||||
| -rw-r--r-- | configure.in | 13 |
2 files changed, 12 insertions, 3 deletions
@@ -664,7 +664,7 @@ else done fi -java_files="ChangeLog" +java_files="ChangeLog Makefile.in configure.in" if ( echo $* | grep keep\-java > /dev/null ) ; then for i in $java_files ; do if test ! -d $i && (grep sanitize-java $i > /dev/null) ; then diff --git a/configure.in b/configure.in index 8f2ebbe..e08eaa1 100644 --- a/configure.in +++ b/configure.in @@ -64,8 +64,17 @@ host_tools="${host_tools} ilu vmake jstools" # these libraries are built for the target environment, and are built after # the host libraries and the host tools (which may be a cross compiler) # -target_libs="target-libiberty target-libgloss target-newlib target-libio target-librx target-libstdc++ target-libg++ target-libjava target-boehm-gc" - +target_libs="target-libiberty \ + target-libgloss \ + target-newlib \ + target-libio \ + target-librx \ + target-libstdc++ \ + ${start-sanitize-java} + target-libjava \ + target-boehm-gc \ + ${end-sanitize-java} + target-libg++" # these tools are built using the target libs, and are intended to run only # in the target environment |