diff options
Diffstat (limited to 'debian/preinst')
| -rw-r--r-- | debian/preinst | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/debian/preinst b/debian/preinst new file mode 100644 index 0000000..dd7af9a --- /dev/null +++ b/debian/preinst @@ -0,0 +1,15 @@ +#!/bin/sh -e +# +# Debian package preinst + +case "$1" in + install|upgrade) + # need to move configuration file to proper directory + if [ -f /var/lib/dejagnu/site.exp ]; then + if [ ! -d /etc/dejagnu ]; then + install -d -g root -m 755 -o root /etc/dejagnu + fi + mv -f /var/lib/dejagnu/site.exp /etc/dejagnu + fi + ;; +esac |