gitの設定を変更

[YACASL2.git] / test / integration / CASL2 / adda0 / Makefile

diff --git a/test/integration/CASL2/adda0/Makefile b/test/integration/CASL2/adda0/Makefile
deleted file mode 100644 (file)
index d2aec42..0000000
--- a/test/integration/CASL2/adda0/Makefile
+++ /dev/null
@@ -1,6 +0,0 @@
-include ../CMD.mk    # YACASL2DIR, CASL2
-CASL2FLAG = -slatd
-ASDIR = $(YACASL2DIR)/as/CMD
-ASFILE = $(ASDIR)/adda0.casl
-CMD = $(CASL2) $(CASL2FLAG) $(ASFILE)
-include ../TEST.mk