projects
/
projects.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
b06ba9c
)
phpide
author
Michael Wagner
<info@wagnertech.de>
Tue, 30 Jan 2018 12:01:24 +0000
(13:01 +0100)
committer
Michael Wagner
<info@wagnertech.de>
Tue, 30 Jan 2018 12:01:24 +0000
(13:01 +0100)
tools/make/configure
patch
|
blob
|
history
diff --git
a/tools/make/configure
b/tools/make/configure
index
47a1304
..
e91b31a
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)"