Update to upstream bash 4.2

This upgrades bash to from 4.1-rc to 4.2-release. See CWRU/changelog for
changes.

Change-Id: I926269c300cf44fa25964b5b375a148fcf11c4b7

1 files changed, 5 insertions, 0 deletions

diff --git a/nojobs.c b/nojobs.c
index b73e3d6..d43d1d4 100644
--- a/nojobs.c
+++ b/nojobs.c
@@ -927,6 +927,11 @@ describe_pid (pid)
 }
 
 void
+freeze_jobs_list ()
+{
+}
+
+void
 unfreeze_jobs_list ()
 {
 }