From: Claudio Sacerdoti Coen 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)