about summary refs log tree commit diff
path: root/Src
diff options
context:
space:
mode:
Diffstat (limited to 'Src')
-rw-r--r--Src/Builtins/rlimits.mdd12
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: