Index: /trunk/magic/configure.tcsh
===================================================================
--- /trunk/magic/configure.tcsh	(revision 25430)
+++ /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