diff options
Diffstat (limited to 'config/linux')
| -rw-r--r-- | config/linux | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/config/linux b/config/linux index 5aab032..e4c0111 100644 --- a/config/linux +++ b/config/linux @@ -12,7 +12,12 @@ CC=${CC:-gcc} case `$CC -v 2>&1 |tail -1 |sed 's/gcc version //'` in 2.7.*) - echo "You have an old version of gcc, please upgrade to 2.8.1 or better" + echo " +------------------------------------------------+" + echo " | You have an old version of gcc. Please upgrade |" + echo " | to 2.8.1 or better. Continuing anyway, but |" + echo " | code generation may be wrong on some platforms.|" + echo " +------------------------------------------------+" + sleep 5 ;; 2.8.*) CFLAGS="$CFLAGS -Wundef -Wsign-compare" @@ -29,7 +34,7 @@ DEBUG_CPPFLAGS="-DH5F_OPT_SEEK=0 -DH5F_LOW_DFLT=H5F_LOW_SEC2" # What compiler flags should be used for building a production # library? -PROD_CFLAGS="-O3 -finline-functions -malign-double -fomit-frame-pointer -march=pentiumpro -fschedule-insns2" +PROD_CFLAGS="-mcpu=pentiumpro -march=pentiumpro -O3 -finline-functions -malign-double -fomit-frame-pointer -fschedule-insns2" PROD_CPPFLAGS= # What compiler flags enable code profiling? |