bash-5.0 distribution sources and documentation

2019-01-07 09:27:52 -05:00
parent 6444760999
commit d233b485e8
528 changed files with 84836 additions and 67099 deletions
--- a/examples/loadables/push.c
+++ b/examples/loadables/push.c
@@ -51,6 +51,7 @@ push_builtin (list)
    {
      switch (opt)
 	{
+	CASE_HELPOPT;
 	default:
 	  builtin_usage ();
 	  return (EX_USAGE);