diff options
Diffstat (limited to 'release/alpha')
| -rwxr-xr-x | release/alpha/dokern.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/release/alpha/dokern.sh b/release/alpha/dokern.sh index f0515e2bafa7..657ba9aab311 100755 --- a/release/alpha/dokern.sh +++ b/release/alpha/dokern.sh @@ -41,6 +41,7 @@ sed -e '/ pci$/d' \ -e '/pty/d' \ -e '/pass/d' \ -e '/ apm/d' \ + -e '/pmtimer/d' \ -e '/ppp/d' \ -e '/gif/d' \ -e '/faith/d' \ @@ -68,6 +69,7 @@ else sed -e '/pty/d' \ -e '/pass/d' \ -e '/ apm/d' \ + -e '/pmtimer/d' \ -e '/ppp/d' \ -e '/gif/d' \ -e '/faith/d' \ @@ -107,6 +109,7 @@ elif [ "${ARCH}" = "alpha" ]; then sed -e '/pty/d' \ -e '/pass/d' \ -e '/ apm/d' \ + -e '/pmtimer/d' \ -e '/ppp/d' \ -e '/gif/d' \ -e '/faith/d' \ |