Index: trunk/magic/configure.tcsh
===================================================================
--- trunk/magic/configure.tcsh	(revision 25227)
+++ trunk/magic/configure.tcsh	(revision 25431)
@@ -34,5 +34,4 @@
   case --enable-profile
   case --pedantic
-   shift
    breaksw;
   # key/value options passed by build systems which we ignore