X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FMakefile;h=7ea740bc6430e4a4017d9e09720f12791c5060d0;hb=a6d9bfd36f9ae6bce95d886eb41ea561dc0cb755;hp=8a41c7dc25f8bac87bf85161578b841f3c7ec1e0;hpb=ad4a4b9f76a987637943341ab8465ef9a8a202d6;p=helm.git

diff --git a/helm/gTopLevel/Makefile b/helm/gTopLevel/Makefile
index 8a41c7dc2..7ea740bc6 100644
--- a/helm/gTopLevel/Makefile
+++ b/helm/gTopLevel/Makefile
@@ -97,6 +97,8 @@ test: regtest
 	./regtest $(INTESTS) 2> /dev/null
 envtest: regtest
 	./regtest -dump $(INTESTS) 2> /dev/null
+librarytest: testlibrary.opt
+	./testlibrary.opt - <index.txt 2>/dev/null >LOG &
 
 ifneq ($(MAKECMDGOALS), depend)
    include .depend