X-Git-Url: http://j8takagi.net/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=test%2Fintegration%2Fcomet2%2Fcmd_OR_or2%2FMakefile;h=c8dc222b35b11fafdc4a0bd96094f48bb111c1aa;hb=650f92bf8dfdd0095db993f71f9e3867e7119acc;hp=0ceeafa7dc75f4de90498f445f0968cbf14ed149;hpb=756f119336f5433a85df0036971256b289d5a35a;p=YACASL2.git

diff --git a/test/integration/comet2/cmd_OR_or2/Makefile b/test/integration/comet2/cmd_OR_or2/Makefile
index 0ceeafa..c8dc222 100644
--- a/test/integration/comet2/cmd_OR_or2/Makefile
+++ b/test/integration/comet2/cmd_OR_or2/Makefile
@@ -2,6 +2,6 @@ include ../CMD.mk    # YACASL2DIR, CASL2
 ASDIR = $(YACASL2DIR)/as
 CASL2LIBDIR = $(YACASL2DIR)/as/casl2lib
 ASFILE = $(YACASL2DIR)/as/cmd/OR/or2.casl
-COMET2FLAG = -td -M8
+COMET2FLAG = -td -M16
 EXECCMD = $(COMET2) $(COMET2FLAG) $(OBJFILE)
 include ../TEST.mk