CMakeLists.txt
changeset 3157 77ed36827e30
parent 3106 3610efab8a32
child 3198 6947d29c2a24
--- a/CMakeLists.txt	Mon Mar 29 13:58:21 2010 +0000
+++ b/CMakeLists.txt	Mon Mar 29 16:39:08 2010 +0000
@@ -133,7 +133,7 @@
 	set(pascal_compiler_flags_cmn "-O2" "-Xs" "-Si" ${pascal_compiler_flags_cmn})
 	set(haskell_compiler_flags_cmn "-O2" "-w")
 else(Optz)
-	set(pascal_compiler_flags_cmn "-O-" "-glh" "-dDEBUGFILE" "-vv" ${pascal_compiler_flags_cmn})
+	set(pascal_compiler_flags_cmn "-O-" "-glhtv" "-dDEBUGFILE" "-vwnv" ${pascal_compiler_flags_cmn})
 	set(haskell_compiler_flags_cmn "-Wall" "-debug" "-dcore-lint")
 endif(Optz)