Formerly ../configure.in.~13~
authorroland <roland>
Thu, 25 Mar 1993 21:40:17 +0000 (21:40 +0000)
committerroland <roland>
Thu, 25 Mar 1993 21:40:17 +0000 (21:40 +0000)
configure.in

index 2eb2512..ef1cd0d 100644 (file)
@@ -106,10 +106,11 @@ for arg in $*; do
        next=version
        ;;
 
-     -exec_prefix=* | --exec_prefix=* | --exec_prefi=* | --exec_pref=* | --exec_pre=* | --exec_pr=* | --exec_p=* | --exec_=* | --exec=* | --exe=* | --ex=* | --e=*)
+     # For backward compatibility, also recognize exact --exec_prefix.
+     -exec-prefix=* | --exec_prefix=* | --exec-prefix=* | --exec-prefi=* | --exec-pref=* | --exec-pre=* | --exec-pr=* | --exec-p=* | --exec-=* | --exec=* | --exe=* | --ex=* | --e=*)
        exec_prefix=`echo $arg | sed 's/[-a-z_]*=//'`
        ;;
-     -exec_prefix | --exec_prefix | --exec_prefi | --exec_pref | --exec_pre | --exec_pr | --exec_p | --exec_ | --exec | --exe | --ex | --e)
+     -exec-prefix | --exec_prefix | --exec-prefix | --exec-prefi | --exec-pref | --exec-pre | --exec-pr | --exec-p | --exec- | --exec | --exe | --ex | --e)
        next=exec_prefix
        ;;