Disable timer.
authorSebastian Buchwald <Sebastian.Buchwald@kit.edu>
Fri, 30 Jul 2010 14:33:54 +0000 (14:33 +0000)
committerSebastian Buchwald <Sebastian.Buchwald@kit.edu>
Fri, 30 Jul 2010 14:33:54 +0000 (14:33 +0000)
[r27859]

ir/be/bepbqpcoloring.c

index de3e9b1..4a4612a 100644 (file)
@@ -69,7 +69,7 @@
 #include "pbqp_node_t.h"
 #include "pbqp_node.h"
 
-#define TIMER          1
+#define TIMER          0
 #define PRINT_RPEO     0