Warn about mistyped phase names in CLI

2019-03-19 11:00:54 +03:00
parent 0fb444a5d1
commit 469fd20902
4 changed files with 26 additions and 1 deletions
@@ -0,0 +1,3 @@
+warning: no phase named qz, ignoring
+warning: no phase named qq, ignoring
+OK