bash-loadables.patch

   1 --- bash-5.1/examples/loadables/push.c~ 2020-04-20 22:07:01.000000000 +0200
   2 +++ bash-5.1/examples/loadables/push.c  2020-12-08 08:54:19.318948703 +0100
   3 @@ -36,7 +36,7 @@ extern int errno;
   4  #endif
   5
   6  extern pid_t dollar_dollar_pid;
   7 -extern int last_command_exit_value;
   8 +extern volatile int last_command_exit_value;
   9
  10  int
  11  push_builtin (list)