Makefileの修正

diff --git a/Makefile b/Makefile
index b16f6da8474a44ec4fd649a522a531a744f2d432..6397760cce7cd1b7a9f48ce729302291d2a74210 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -69,7 +69,7 @@ smoke-valgrind:
 valgrind:
        $(MAKE) -sC test/system valgrind
 
-install: casl2 comet2 dumpword install-info
+install: $(CMDFILES) install-info
        $(INSTALL) -d $(bindir)
        $(INSTALL) $(CMDFILES) $(bindir)/