オプション指定時の動作を検証
[YACASL2.git] / test / integration / comet2 / CMD.mk
index 184b4c2..336e8fe 100644 (file)
@@ -3,4 +3,4 @@ UNITNAME = `pwd | xargs basename`
 OBJFILE = $(UNITNAME).o
 CASL2 = $(YACASL2DIR)/casl2
 COMET2 = $(YACASL2DIR)/comet2
-CMD = $(COMET2) $(UNITNAME).o
+CMD = $(COMET2) $(COMET2FLAG) $(OBJFILE)