Make wrong phase name an error

2019-03-21 20:43:36 +03:00
parent fae003866b
commit e627f08614
2 changed files with 16 additions and 16 deletions
@@ -1,3 +1,3 @@
-warning: no phase named qz, ignoring
-warning: no phase named qq, ignoring
-OK
+error: no phase named qz
+error: no phase named qq
+COMPILATION_ERROR