96add768b8
- Fixes some problems with games/linux-warsow and games/warsow-data, now we can install games/warsow and games/linux-warsow at the same place. Submitted by: me Approved by: maintainer timeout (16 days), garga (mentor)
15 lines
254 B
Bash
15 lines
254 B
Bash
#!/bin/sh
|
|
|
|
case $2 in
|
|
DEINSTALL)
|
|
config_file=$PKG_PREFIX/share/warsow/config.cfg
|
|
|
|
if [ -e $config_file ] && ! [ -s $config_file ]; then
|
|
rm -f $config_file
|
|
fi
|
|
;;
|
|
|
|
POST-DEINSTALL)
|
|
rmdir $PKG_PREFIX/share/warsow 2>/dev/null || true
|
|
;;
|
|
esac
|