diff options
Diffstat (limited to 'Src/Builtins/rlimits.mdd')
| -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: |