From 58313e9db1554fa9e5f2a2476c4f28b282b347ed Mon Sep 17 00:00:00 2001 From: Michael Wagner Date: Tue, 30 Jan 2018 13:01:24 +0100 Subject: [PATCH] phpide --- tools/make/configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/make/configure b/tools/make/configure index 47a1304..e91b31a 100755 --- 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)" -- 2.20.1