Making the stripping phases optional.

This commit is contained in:
Manuel Canales Esparcia 2005-11-16 22:39:12 +00:00
parent 1a17f94f43
commit 70a223ee4a
2 changed files with 18 additions and 0 deletions

15
jhalfs
View file

@ -51,6 +51,9 @@ Options:
also disables the build of TCL, Expect
and DejaGNU
--no-strip don't run the strip command on both the
temporary system and the final system
--timezone TIMEZONE set TIMEZONE as the local timezone. If not
specified, \"Europe/London\" will be used.
@ -359,6 +362,11 @@ chapter5_Makefiles() {
fi
fi
# Test if the stripping phase must be skipped
if [ "$STRIP" = "0" ] && [[ `_IS_ $i stripping` ]] ; then
continue
fi
# First append each name of the script files to a list (this will become
# the names of the targets in the Makefile
chapter5="$chapter5 $i"
@ -515,6 +523,11 @@ chapter6_Makefiles() {
continue
fi
# Test if the stripping phase must be skipped
if [ "$STRIP" = "0" ] && [[ `_IS_ $i stripping` ]] ; then
continue
fi
# First append each name of the script files to a list (this will become
# the names of the targets in the Makefile
chapter6="$chapter6 $i"
@ -935,6 +948,8 @@ while test $# -gt 0 ; do
--no-toolchain-test ) TOOLCHAINTEST=0 ;;
--no-strip ) STRIP=0 ;;
--no-vim-lang ) VIMLANG=0 ;;
--page_size )

View file

@ -23,6 +23,9 @@ TEST=0
#--- Run the toolchain tests 0(no)/1(yes)
TOOLCHAINTEST=1
#--- Run the stripping phases 0(no)/1(yes)
STRIP=1
#--- page definition for groff letter/A4
PAGE=letter