From bc87219f8e7fd03fd08feb8de6854940078552c8 Mon Sep 17 00:00:00 2001 From: bjorn Date: Thu, 16 Oct 2008 13:00:16 +0000 Subject: [PATCH] server/makefile added test.pgf target. --- src/server/Makefile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/server/Makefile b/src/server/Makefile index 38f81b96b..806a620cf 100644 --- a/src/server/Makefile +++ b/src/server/Makefile @@ -31,6 +31,9 @@ demo.pgf: DemoBul-noparse.pgf DemoCat-noparse.pgf DemoDan-parse.pgf DemoEng-pars lang.pgf: LangBul-noparse.pgf LangCat-noparse.pgf LangDan-parse.pgf LangEng-parse.pgf LangFin-noparse.pgf LangFre-noparse.pgf LangGer-parse.pgf LangIta-noparse.pgf LangNor-parse.pgf LangRus-noparse.pgf LangSpa-noparse.pgf LangSwe-parse.pgf gfc $(GFCFLAGS) --name=lang $^ +test.pgf: LangEng-parse.pgf LangGer-parse.pgf + gfc $(GFCFLAGS) --name=test $^ + gwt-installball: gf.fcgi gwt rm -rf tmp/gwt-client rm -f gf-server-installball.tar.gz