diff options
| author | Tanaka Akira <akr@users.sourceforge.net> | 1999-10-18 10:24:52 +0000 |
|---|---|---|
| committer | Tanaka Akira <akr@users.sourceforge.net> | 1999-10-18 10:24:52 +0000 |
| commit | 9411b0e51a065a19e0c17caaf2d61298377a47c7 (patch) | |
| tree | 25cfc121fae319e8407c630e9c29f9949bacdde8 /Src/Builtins/rlimits.mdd | |
| parent | 910dc80a58cf3bcf91c51a72f117a46a7c9f77cf (diff) | |
| download | zsh-9411b0e51a065a19e0c17caaf2d61298377a47c7.tar.gz zsh-9411b0e51a065a19e0c17caaf2d61298377a47c7.tar.xz zsh-9411b0e51a065a19e0c17caaf2d61298377a47c7.zip | |
zsh-workers/8320
Diffstat (limited to 'Src/Builtins/rlimits.mdd')
| -rw-r--r-- | Src/Builtins/rlimits.mdd | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/Src/Builtins/rlimits.mdd b/Src/Builtins/rlimits.mdd index f0e41b73e..129adf901 100644 --- a/Src/Builtins/rlimits.mdd +++ b/Src/Builtins/rlimits.mdd @@ -5,12 +5,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@ > 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: |