bash-5.1 distribution sources and documentation

2026-08-07 02:32:27 +02:00 · 2020-12-06 15:51:17 -05:00
parent 36f2c406ff
commit 8868edaf22
828 changed files with 94641 additions and 56509 deletions
@@ -77,7 +77,11 @@ typedef int WAIT;
 #  endif /* !WIFSIGNALED */

 #  if !defined (WIFCORED)
-#    define WIFCORED(s)       ((s) & 0200)
+#    if defined (WCOREDUMP)
+#      define WIFCORED(s)	(WCOREDUMP(s))
+#    else
+#      define WIFCORED(s)       ((s) & 0200)
+#    endif
 #  endif /* !WIFCORED */

 #else /* !_POSIX_VERSION */