gnublin

[projects.git] / tools / make / configure

diff --git a/tools/make/configure b/tools/make/configure
index 32b2558ae0838051e4c1e1dca3c7e0fecaf4c6ca..3dfa084956bc611e73684eae2466b8086b75749c 100755 (executable)
--- a/tools/make/configure
+++ b/tools/make/configure
@@ -111,12 +111,15 @@ else
        echo "  this file is necessary for any package production."
 fi
 
-# check for postinst
-postinst=$(find src -name $paket.postinst)
-if [ -n "$postinst" ]
-then
-       ln -sf $postinst .
-fi
+# check for installation scripts
+files=$(find src -name $paket.preinst)
+files="$files $(find src -name $paket.postinst)"
+files="$files $(find src -name $paket.prerm)"
+files="$files $(find src -name $paket.postrm)"
+for file in $files
+do
+       ln -sf $file .
+done
 
 # create generic make.pre, if not existing
 if [ ! -f make.pre ]