Index: /trunk/extsrc/gpcsw/configure.tcsh
===================================================================
--- /trunk/extsrc/gpcsw/configure.tcsh	(revision 24662)
+++ /trunk/extsrc/gpcsw/configure.tcsh	(revision 24663)
@@ -22,4 +22,5 @@
 
 while ("$1" != "") 
+ echo "checking $1"
  switch ("$1")
   # switch options passed by build systems which we ignore
@@ -34,5 +35,4 @@
   case --enable-profile
   case --pedantic
-   shift
    breaksw;
   # key/value options passed by build systems which we ignore