summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/alephdir/aleph.mk
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/alephdir/aleph.mk')
-rw-r--r--Build/source/texk/web2c/alephdir/aleph.mk8
1 files changed, 2 insertions, 6 deletions
diff --git a/Build/source/texk/web2c/alephdir/aleph.mk b/Build/source/texk/web2c/alephdir/aleph.mk
index 386bb478e9e..6ace4bd3781 100644
--- a/Build/source/texk/web2c/alephdir/aleph.mk
+++ b/Build/source/texk/web2c/alephdir/aleph.mk
@@ -122,12 +122,8 @@ aleph.ch: $(calephdir)/ceostuff.ch
$(srcdir)/$(calephdir)/comsrcspec.ch \
$(srcdir)/$(calephdir)/ceostuff.ch
-aleph-pool.c: aleph.pool alephdir/makecpool
- alephdir/makecpool aleph.pool alephdir/aleph-pool.h >aleph-pool.c
-alephdir/makecpool: alephdir/makecpool.o
- $(CC) $(CFLAGS) -o $@ alephdir/makecpool.o
-alephdir/makecpool.o: $(srcdir)/alephdir/makecpool.c
- $(CC) $(CFLAGS) -c -o $@ $(srcdir)/alephdir/makecpool.c
+aleph-pool.c: aleph.pool $(makecpool)
+ $(makecpool) aleph.pool alephdir/aleph-pool.h >$@ || rm -f $@
# Check: right now all we do is build the format.
check: @ALEPH@ aleph-check