Skip to content
Snippets Groups Projects
Commit 3f98a90c authored by Naumann, Andreas's avatar Naumann, Andreas
Browse files

AMDiS also needs debian update :)

parent 845f099f
No related branches found
No related tags found
No related merge requests found
#!/bin/sh
if "$1" = "upgrade" ; then
exit 0
fi
NEWDIRS_SEMI="@deb_add_dirs@"
NEWDIRS=`echo ${NEWDIRS_SEMI} | sed 's/;/ /g'`
BASEDIR=@CPACK_INSTALL_PREFIX@
#echo "will create the remove directories:"
for d in ${NEWDIRS}; do
# echo "${BASEDIR}${d}"
rm -rf ${BASEDIR}${d}
rm -r ${BASEDIR}${d} > /dev/null 2> /dev/null
done
exit 0
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment