]> matita.cs.unibo.it Git - helm.git/commitdiff
Typo fixed. Used to break target gentest.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Feb 2004 14:26:46 +0000 (14:26 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Feb 2004 14:26:46 +0000 (14:26 +0000)
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)