X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=test%2Fintegration%2Fcomet2%2FCMD.mk;fp=test%2Fintegration%2Fcomet2%2FCMD.mk;h=336e8feeddc312246331efc98e929134b261c84f;hb=ed26c70ece2ab7c16d20275fe5dbb471bfe5a0b8;hp=184b4c2621551efc0a756bb4cf8ed79d0f5fd65b;hpb=959c309bcf37cbb534aaa04f27ccfdb6c9453396;p=YACASL2.git

diff --git a/test/integration/comet2/CMD.mk b/test/integration/comet2/CMD.mk
index 184b4c2..336e8fe 100644
--- a/test/integration/comet2/CMD.mk
+++ b/test/integration/comet2/CMD.mk
@@ -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)