diff options
| author | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-06-28 18:30:27 (EDT) |
|---|---|---|
| committer | Patrick McDermott <patrick.mcdermott@libiquity.com> | 2019-06-28 18:30:27 (EDT) |
| commit | 787c4c6c3ce036bf823b1d953b6a20ae27c5249f (patch) | |
| tree | cff033ada02e9ab43183a7bc08d6fa2b1d026bcf /patches/01_no-bash.patch | |
linux-libre 3.10.95~gnu-1
I'm taking the opportunity to start fresh because the original
repository is weighed down by an upstream source archive in contained
long ago.
See the linux-libre package repository for the full Git history.
Diffstat (limited to 'patches/01_no-bash.patch')
| -rw-r--r-- | patches/01_no-bash.patch | 15 |
1 files changed, 15 insertions, 0 deletions
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 |