]> matita.cs.unibo.it Git - helm.git/commitdiff
.opt before .byte
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Jan 2008 15:16:10 +0000 (15:16 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Jan 2008 15:16:10 +0000 (15:16 +0000)
helm/software/matita/scripts/profile_svn.sh

index 72105b2e0dedd33d08808457be82f87ec7f2e08f..0d23914c81104f4a79aeb72dce0f9c28410cd915 100755 (executable)
@@ -12,8 +12,8 @@ function testit {
   LOGTOOPT=/dev/null
   LOGTOBYTE=/dev/null
   export BENCH_EXTRA_TEXT="$MARK $@"
-  make tests 
   make tests.opt 
+  make tests 
 }
 
 function compile {