summaryrefslogtreecommitdiff
path: root/tools/gator/debian/gator-module-dkms.prerm
diff options
context:
space:
mode:
authorPhilippe Langlais <philippe.langlais@stericsson.com>2012-06-04 19:46:20 +0800
committerPhilippe Langlais <philippe.langlais@stericsson.com>2012-06-04 19:46:20 +0800
commitd9357d6650ce38ca31d0cfdbcb041ebc32f10f26 (patch)
tree8f20fbd51edfd1c3f544052dd124c54379ebf9b9 /tools/gator/debian/gator-module-dkms.prerm
parent20c81608dcd30fc3817d6d430fca83f52b9aa965 (diff)
parent75ae3ec8fe927285d2220acb87a2fa087b9d5f47 (diff)
Merge topic branch 'tracking-armlt-gator-5.10' into integration-linux-ux500
Signed-off-by: Philippe Langlais <philippe.langlais@stericsson.com>
Diffstat (limited to 'tools/gator/debian/gator-module-dkms.prerm')
-rwxr-xr-xtools/gator/debian/gator-module-dkms.prerm29
1 files changed, 29 insertions, 0 deletions
diff --git a/tools/gator/debian/gator-module-dkms.prerm b/tools/gator/debian/gator-module-dkms.prerm
new file mode 100755
index 00000000000..cf0b5f99da7
--- /dev/null
+++ b/tools/gator/debian/gator-module-dkms.prerm
@@ -0,0 +1,29 @@
+#!/bin/sh
+
+NAME=gator-module
+PACKAGE_NAME=$NAME-dkms
+VERSION=`dpkg-query -W -f='${Version}' $PACKAGE_NAME | awk -F "-" '{print $1}' | cut -d\: -f2`
+
+set -e
+
+case "$1" in
+ remove|upgrade|deconfigure)
+ if [ "`dkms status -m $NAME`" ]; then
+ dkms remove -m $NAME -v $VERSION --all
+ fi
+ ;;
+
+ failed-upgrade)
+ ;;
+
+ *)
+ echo "prerm called with unknown argument \`$1'" >&2
+ exit 1
+ ;;
+esac
+
+#DEBHELPER#
+
+exit 0
+
+