diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -4533,7 +4533,7 @@ fi # tweak OPT based on compiler and platform, only if the user didn't set # it on the command line -if test -z "$OPT" +if test "${OPT-unset}" == "unset" then case $GCC in yes) |
