configure: fix unix-style configuration with --prefix

Closes #3046
This commit is contained in:
Matthew Flatt 2020-04-17 11:47:27 -06:00
parent fb677d9569
commit 734491b511
4 changed files with 4 additions and 4 deletions

View File

@ -1,6 +1,6 @@
unixstyle=no
if test "${enable_useprefix}" = "yes" -a "${prefix}" != "NONE" ; then
if test "${enable_origtree}" != "yes" -a "${enable_useprefix}" != "no" ; then
if test "${prefix}" != "NONE" ; then
unixstyle=yes
fi

View File

@ -2038,7 +2038,7 @@ fi
unixstyle=no
if test "${enable_useprefix}" = "yes" -a "${prefix}" != "NONE" ; then
if test "${enable_origtree}" != "yes" -a "${enable_useprefix}" != "no" ; then
if test "${prefix}" != "NONE" ; then
unixstyle=yes
fi

View File

@ -3019,7 +3019,7 @@ fi
unixstyle=no
if test "${enable_useprefix}" = "yes" -a "${prefix}" != "NONE" ; then
if test "${enable_origtree}" != "yes" -a "${enable_useprefix}" != "no" ; then
if test "${prefix}" != "NONE" ; then
unixstyle=yes
fi

View File

@ -2915,7 +2915,7 @@ PREFIX_PATH_RELATIVE=/../..
unixstyle=no
if test "${enable_useprefix}" = "yes" -a "${prefix}" != "NONE" ; then
if test "${enable_origtree}" != "yes" -a "${enable_useprefix}" != "no" ; then
if test "${prefix}" != "NONE" ; then
unixstyle=yes
fi