diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/server/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/server/Makefile b/src/server/Makefile index 8e0b12a99..287379613 100644 --- a/src/server/Makefile +++ b/src/server/Makefile @@ -13,7 +13,7 @@ food: demo: # gfc $(GFCFLAGS) --make --name=grammar ../../lib/resource/demo/Demo{Bul,Cat,Dan,Eng,Fin,Fre,Ger,Ita,Nor,Rus,Spa,Swe}.gf gfc $(GFCFLAGS) --make --parser=off --name=DemoBul ../../lib/resource/demo/DemoBul.gf - gfc $(GFCFLAGS) --make --parser=off --name=DemoCat ../../lib/resource/demo/DemoCat.gf +# gfc $(GFCFLAGS) --make --parser=off --name=DemoCat ../../lib/resource/demo/DemoCat.gf gfc $(GFCFLAGS) --make --parser=off --name=DemoDan ../../lib/resource/demo/DemoDan.gf gfc $(GFCFLAGS) --make --parser=on --name=DemoEng ../../lib/resource/demo/DemoEng.gf gfc $(GFCFLAGS) --make --parser=off --name=DemoFin ../../lib/resource/demo/DemoFin.gf |