From 200c9adb967df96d3c044ffe2bed25c63a388e8b Mon Sep 17 00:00:00 2001
From: P. J. McDermott <pj@pehjota.net>
Date: Wed, 07 May 2014 20:22:58 -0400
Subject: patches/01_no-bash.patch: New file.

---
diff --git a/patches/01_no-bash.patch b/patches/01_no-bash.patch
new file mode 100644
index 0000000..9f032a7
--- /dev/null
+++ b/patches/01_no-bash.patch
@@ -0,0 +1,15 @@
+Author: "P. J. McDermott" <pj@pehjota.net>
+Subject: Build without GNU Bash
+
+diff -Naur src.orig/scripts/link-vmlinux.sh src/scripts/link-vmlinux.sh
+--- src.orig/scripts/link-vmlinux.sh	2014-04-26 20:16:33.000000000 -0400
++++ src/scripts/link-vmlinux.sh	2014-05-07 10:58:59.140761084 -0400
+@@ -105,7 +105,7 @@
+ }
+ 
+ # Delete output files in case of error
+-trap cleanup SIGHUP SIGINT SIGQUIT SIGTERM ERR
++trap cleanup SIGHUP SIGINT SIGQUIT SIGTERM
+ cleanup()
+ {
+ 	rm -f .old_version
--
cgit v0.9.1