diff options
| author | Bart Schaefer <barts@users.sourceforge.net> | 2000-07-07 17:12:17 +0000 |
|---|---|---|
| committer | Bart Schaefer <barts@users.sourceforge.net> | 2000-07-07 17:12:17 +0000 |
| commit | 14428d46e4b01ee279f0ea40b10949d427005924 (patch) | |
| tree | 4abec0eea3834872d4cfe8ec4eed2465dda256e5 /Src/Builtins | |
| parent | 82c0ea4263db88b89ef61faede23a8d507f4351c (diff) | |
| download | zsh-14428d46e4b01ee279f0ea40b10949d427005924.tar.gz zsh-14428d46e4b01ee279f0ea40b10949d427005924.tar.xz zsh-14428d46e4b01ee279f0ea40b10949d427005924.zip | |
12193: Rather than replace @RLIMITS_INC_H@ with /dev/null on platforms where
getrlimit() is not found, replace it with nothing and append /dev/null to the awk command in rlimits.mdd, so that we don't end up with a dependency of rlimits.h on /dev/null (which can cause rlimits.h to be needlessly remade).
Diffstat (limited to 'Src/Builtins')
| -rw-r--r-- | Src/Builtins/rlimits.mdd | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/Src/Builtins/rlimits.mdd b/Src/Builtins/rlimits.mdd index f0e41b73e..61e7113f3 100644 --- a/Src/Builtins/rlimits.mdd +++ b/Src/Builtins/rlimits.mdd @@ -1,3 +1,5 @@ +name=zsh/rlimits + autobins="limit ulimit unlimit" objects="rlimits.o" @@ -5,12 +7,12 @@ objects="rlimits.o" :<<\Make rlimits.o rlimits..o: rlimits.h -# this file will not be made if limits are unavailable: -# silent so the warning doesn't appear unless necessary +# this file will not be made if limits are unavailable rlimits.h: rlimits.awk @RLIMITS_INC_H@ - @echo '$(AWK) -f $(sdir)/rlimits.awk @RLIMITS_INC_H@ > rlimits.h'; \ - $(AWK) -f $(sdir)/rlimits.awk @RLIMITS_INC_H@ > rlimits.h || \ - echo WARNING: unknown limits: mail rlimits.h to developers + $(AWK) -f $(sdir)/rlimits.awk @RLIMITS_INC_H@ /dev/null > rlimits.h + @if grep ZLIMTYPE_UNKNOWN rlimits.h >/dev/null; then \ + echo >&2 WARNING: unknown limits: mail rlimits.h to developers; \ + else :; fi clean-here: clean.rlimits clean.rlimits: |