mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-20 00:15:27 +00:00
-O1 didn't work, try -O2.
Estimated hours taken: 0.1 tools/test_mercury: -O1 didn't work, try -O2.
This commit is contained in:
@@ -27,7 +27,7 @@ export CVSROOT
|
||||
|
||||
case $HOST in
|
||||
# test things at different optimization levels...
|
||||
murlibobo) OPTIMIZE=-O1 ;;
|
||||
murlibobo) OPTIMIZE=-O2 ;;
|
||||
kryten) OPTIMIZE=-O4 ;;
|
||||
mercury) OPTIMIZE=-O3 ;;
|
||||
muse) OPTIMIZE=-O0 ;;
|
||||
|
||||
Reference in New Issue
Block a user