Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
PATCH: signames.c doesn't get remade
- X-seq: zsh-workers 4250
- From: Peter Stephenson <pws@xxxxxxxxxxxxxxxxx>
- To: zsh-workers@xxxxxxxxxxxxxxx (Zsh hackers list)
- Subject: PATCH: signames.c doesn't get remade
- Date: Fri, 24 Jul 1998 14:32:12 +0200
I noticed that the signal names on one system were coming out wrong,
and eventually worked out that signames.c wasn't remade after a new
configure, so it was using the file from a different system.
The simplest thing to do is probably to have signames.c remade when
config.h changes. The extra time taken is in any case entirely
minimal. The make system is so complicated already I'm not going to
try anything much more complicated.
*** Src/zsh.mdd.sign Tue Jun 17 16:27:58 1997
--- Src/zsh.mdd Fri Jul 24 14:27:28 1998
***************
*** 12,18 ****
prototypes.h hashtable.h ztype.h"
:<<\Make
! signames.c: signames.awk @SIGNAL_H@
$(AWK) -f $(sdir)/signames.awk @SIGNAL_H@ > $@
sigcount.h: signames.c
--- 12,18 ----
prototypes.h hashtable.h ztype.h"
:<<\Make
! signames.c: signames.awk ../config.h @SIGNAL_H@
$(AWK) -f $(sdir)/signames.awk @SIGNAL_H@ > $@
sigcount.h: signames.c
Messages sorted by:
Reverse Date,
Date,
Thread,
Author