X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=test%2Fintegration%2Fcomet2%2Fhanoi%2FMakefile;h=a5ef0ebb6620d9ca1654e264cf5cb70ca18aedfb;hb=87da65b534d88b60dcfb59ff1252101daf35e44e;hp=ab136a1b93a1cda590ff645bfcd2155618c5e254;hpb=350188e12a316928e5b2d8473f580528b2780d8b;p=YACASL2.git

diff --git a/test/integration/comet2/hanoi/Makefile b/test/integration/comet2/hanoi/Makefile
index ab136a1..a5ef0eb 100644
--- a/test/integration/comet2/hanoi/Makefile
+++ b/test/integration/comet2/hanoi/Makefile
@@ -1,4 +1,5 @@
-include ../CMD.mk    # YACASL2DIR, CASL2
+include ../CMD.mk    # YACASL2DIR, CASL2, COMET2
 ASDIR = $(YACASL2DIR)/as/FUNC
 ASFILE = $(ASDIR)/hanoi.casl
+CMD = $(COMET2) $(COMET2FLAG) $(OBJFILE)
 include ../TEST.mk