X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FMakefile;h=ec10354a78bb2217da342dc32cd8d5b2245f5769;hb=057426319f87faebb0a99b2c411ffdf67d347866;hp=c1aa8c60fbe4fae22d0cf827432a38aaaf02622e;hpb=b3769ff3eb77ec8fa27ac46ec1076941a16bd3a5;p=helm.git

diff --git a/helm/gTopLevel/Makefile b/helm/gTopLevel/Makefile
index c1aa8c60f..ec10354a7 100644
--- a/helm/gTopLevel/Makefile
+++ b/helm/gTopLevel/Makefile
@@ -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)