Index: configure
===================================================================
--- configure (revision 11533)
+++ configure (working copy)
@@ -871,14 +871,20 @@
PCONF=`echo $PCONF | sed 's/.\/configure//g'`
fi
for opt do
+ if test x"$opt" != x"--prev" -a x"$opt" != x"--previous" ; then
+ OTHOPT="$OTHOPT$opt"
+ fi
if test x"$opt" = x"--prev" -o x"$opt" = x"--previous" ; then
if test x"$PCONF" != "--prev" ; then
- echo "Options: $PCONF"
- ./configure $PCONF
- exit
+ PREV="yes";
fi
fi
done
+ if test x"$PREV" = x"yes"; then
+ echo "Options: $PCONF $OTHOPT"
+ ./configure $PCONF $OTHOPT
+ exit
+ fi
fi
for opt do