diff options
Diffstat (limited to 'next-lib/src/Makefile')
| -rw-r--r-- | next-lib/src/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/next-lib/src/Makefile b/next-lib/src/Makefile index 673cb732b..998b11329 100644 --- a/next-lib/src/Makefile +++ b/next-lib/src/Makefile @@ -25,15 +25,15 @@ compat: $(RUNMAKE) present compat prelude: - gfc prelude/*.gf + gf -batch prelude/*.gf cp -p prelude/*.gfo ../prelude constructX: - gfc common/ConstructX.gf + gf -batch common/ConstructX.gf cp -p common/ConstructX.gfo ../prelude MakeStructural: - gfc */MakeStructural*.gf + gf -batch */MakeStructural*.gf cp -p */MakeStructural*.gfo ../present cp -p */MakeStructural*.gfo ../alltenses |