#
# GNU configure-like front end to metaconfig's Configure.
#
-# Written by Andy Dougherty <doughera@lafcol.lafayette.edu>
+# Written by Andy Dougherty <doughera@lafayette.edu>
# and Matthew Green <mrg@mame.mu.oz.au>.
#
# Reformatted and modified for inclusion in the dist-3.0 package by
opts="$opts $arg"
shift
;;
+ --prefix)
+ shift
+ arg="-Dprefix=$1"
+ opts="$opts $arg"
+ shift
+ ;;
--cache-file=*)
shift # Just ignore it.
;;