equal
deleted
inserted
replaced
678 if [ "$enable_profiling" != "0" ]; then |
678 if [ "$enable_profiling" != "0" ]; then |
679 CFLAGS="$CFLAGS -p" |
679 CFLAGS="$CFLAGS -p" |
680 LDFLAGS="$LDFLAGS -pg" |
680 LDFLAGS="$LDFLAGS -pg" |
681 fi |
681 fi |
682 |
682 |
683 if [ "$with_threads" == "0" ]; then |
683 if [ "$with_threads" = "0" ]; then |
684 CFLAGS="$CFLAGS -DNO_THREADS" |
684 CFLAGS="$CFLAGS -DNO_THREADS" |
685 fi |
685 fi |
686 |
686 |
687 # Enable some things only for certain GCC versions |
687 # Enable some things only for certain GCC versions |
688 cc_version=`$cc_host -dumpversion | cut -c 1,3` |
688 cc_version=`$cc_host -dumpversion | cut -c 1,3` |