From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 4 Feb 2004 14:26:46 +0000 (+0000)
Subject: Typo fixed. Used to break target gentest.
X-Git-Tag: V_0_2_3~71
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=057426319f87faebb0a99b2c411ffdf67d347866;p=helm.git

Typo fixed. Used to break target gentest.
---

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)