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 /linux-image.pkg/prerm | |
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 'linux-image.pkg/prerm')
| -rw-r--r-- | linux-image.pkg/prerm | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/linux-image.pkg/prerm b/linux-image.pkg/prerm new file mode 100644 index 0000000..7bc5761 --- /dev/null +++ b/linux-image.pkg/prerm @@ -0,0 +1,12 @@ +#!/bin/sh + +first=true +for arg in "${@}"; do + if ${first}; then + set -- + first=false + fi + set -- "${@}" -a "${arg}" +done + +run-parts "${@}" /etc/kernel/prerm.d |