diff options
Diffstat (limited to 'Build/source/texk/web2c/omegadir/omega.mk')
-rw-r--r-- | Build/source/texk/web2c/omegadir/omega.mk | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/Build/source/texk/web2c/omegadir/omega.mk b/Build/source/texk/web2c/omegadir/omega.mk index 72775719c93..e44d86264cd 100644 --- a/Build/source/texk/web2c/omegadir/omega.mk +++ b/Build/source/texk/web2c/omegadir/omega.mk @@ -164,13 +164,8 @@ omega.ch: omegadir/comsrcspec.ch $(srcdir)/omegadir/comxml.ch \ $(srcdir)/omegadir/comsrcspec.ch -omega-pool.c: omega.pool omegadir/makecpool - omegadir/makecpool omega.pool omegadir/omega-pool.h >omega-pool.c -omegadir/makecpool: omegadir/makecpool.o - $(CC) $(CFLAGS) -o $@ omegadir/makecpool.o -omegadir/makecpool.o: $(srcdir)/omegadir/makecpool.c - test -d omegadir || mkdir omegadir - $(CC) $(CFLAGS) -c -o $@ $(srcdir)/omegadir/makecpool.c +omega-pool.c: omega.pool $(makecpool) + $(makecpool) omega.pool omegadir/omega-pool.h >$@ || rm -f $@ # Check: right now all we do is build the format. check: @OMEGA@ omega-check |