Merge ../projects

diff --git a/tools/make/configure b/tools/make/configure
index 4a1349a9d626070d1bb06814f65fd613fbefc01a..a92ecbd7e017e19861e06092c2e24bf29f9ae528 100755 (executable)
--- a/tools/make/configure
+++ b/tools/make/configure
@@ -113,7 +113,7 @@ else
 fi
 
 # check for installation scripts
-files=$(find src -name $paket.preinst)
+files=$(find -L src -name $paket.preinst)
 files="$files $(find -L src -name $paket.postinst)"
 files="$files $(find -L src -name $paket.prerm)"
 files="$files $(find -L src -name $paket.postrm)"