diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/local.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/local.mk b/src/local.mk index ead3b8b90..66028c910 100644 --- a/src/local.mk +++ b/src/local.mk @@ -387,9 +387,9 @@ src/dircolors.h: src/dcgen src/dircolors.hin # known ints (currently 128-bit). BUILT_SOURCES += $(top_srcdir)/src/primes.h $(top_srcdir)/src/primes.h: - $(MAKE) src/make-prime-list + $(MAKE) src/make-prime-list$(EXEEXT) $(AM_V_GEN)rm -f $@ $@-t - $(AM_V_at)src/make-prime-list 5000 > $@-t + $(AM_V_at)src/make-prime-list$(EXEEXT) 5000 > $@-t $(AM_V_at)chmod a-w $@-t $(AM_V_at)mv $@-t $@ |