]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/gTopLevel/Makefile
Typo fixed. Used to break target gentest.
[helm.git] / helm / gTopLevel / Makefile
index c1aa8c60fbe4fae22d0cf827432a38aaaf02622e..ec10354a78bb2217da342dc32cd8d5b2245f5769 100644 (file)
@@ -81,7 +81,7 @@ uninstall:
 .PHONY: install uninstall clean test
 
 INTESTS := $(wildcard tests/*.cic)
-OUTTESTS := $(patsubst %, %.test, $INTESTS)
+OUTTESTS := $(patsubst %, %.test, $(INTESTS))
 gentest: $(OUTTESTS)
 cleantest:
        rm -f $(OUTTESTS)