Changeset 24663

Timestamp:

Jul 3, 2009, 11:47:38 AM (17 years ago)

Author:

eugene

Message:

fix configure for ignored options

File:

• trunk/extsrc/gpcsw/configure.tcsh (modified) (2 diffs)

trunk/extsrc/gpcsw/configure.tcsh

@@ -22 +22 @@
 
 while ("$1" != "") 
+ echo "checking $1"
  switch ("$1")
   # switch options passed by build systems which we ignore
@@ -34 +35 @@
   case --enable-profile
   case --pedantic
-   shift
    breaksw;
   # key/value options passed by build systems which we ignore