diff --git a/configure b/configure index 00928465b0..a3f4e61456 100755 --- a/configure +++ b/configure @@ -83,11 +83,11 @@ if [ -n "$floppy" ]; then fi # BeOS -if [ "${platform}" == "BeOS" ] ; then +if [ "${platform}" = "BeOS" ] ; then standard_gcc_settings # Linux -else if [ "${platform}" == "Linux" ] ; then +else if [ "${platform}" = "Linux" ] ; then standard_gcc_settings # Unknown platform