Changeset fc15999 for jhalfs

Timestamp:

11/16/2005 10:41:26 PM (19 years ago)

Author:

Manuel Canales Esparcia <manuel@…>

Branches:

0.2

Children:

eb81473

Parents:

4b7dde9

Message:

Merged r2186 from trunk.

File:

• jhalfs (modified) (4 diffs)

jhalfs

@@ -51 +51 @@
                                 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
@@ -360 +363 @@
     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
@@ -514 +522 @@
     if [[ `_IS_ $i chroot` ]] ; then
        continue
+    fi
+
+    # Test if the stripping phase must be skipped
+    if [ "$STRIP" = "0" ] && [[ `_IS_ $i stripping` ]] ; then
+      continue
     fi
 
@@ -936 +949 @@
     --no-toolchain-test )       TOOLCHAINTEST=0 ;;
 
+    --no-strip )        STRIP=0 ;;
+
     --no-vim-lang )     VIMLANG=0 ;;