summaryrefslogtreecommitdiff
path: root/src/server
diff options
context:
space:
mode:
authorbjorn <bjorn@bringert.net>2008-10-16 13:00:16 +0000
committerbjorn <bjorn@bringert.net>2008-10-16 13:00:16 +0000
commit11ba8a6a174b3d3636b3b48bc08190d4f1d967aa (patch)
tree8d5a430b3065788d9733d892c11f95e0c32d7394 /src/server
parent95278a947f003d6dbb13f874064d03d2ed1792bd (diff)
server/makefile added test.pgf target.
Diffstat (limited to 'src/server')
-rw-r--r--src/server/Makefile3
1 files changed, 3 insertions, 0 deletions
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