blob: 7e1810d561d72e90bd248424c41b5b0b579eead5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#!/bin/sh
#
# Remove a built bearoffs database, if any is present.
set -e
if [ "remove" = "$1" ] ; then
rm -f /var/lib/gnubg/gnubg_os0.bd
rm -f /var/lib/gnubg/gnubg_ts0.bd
fi
#DEBHELPER#
|