File tree 1 file changed +6
-0
lines changed
1 file changed +6
-0
lines changed Original file line number Diff line number Diff line change @@ -96,6 +96,7 @@ mkdir -p "$plugins_target_dir"
96
96
echo " Copying plugins into $plugins_target_dir "
97
97
for i in " $plugins_dir " /* ; do
98
98
[ -d " $i " ] && continue
99
+ [ ! -f " $i " ] && echo " File does not exist: $i " && continue
99
100
100
101
echo " Copying plugin: $i "
101
102
cp " $i " " $plugins_target_dir "
105
106
106
107
for i in " $plugins_target_dir " /* ; do
107
108
[ -d " $i " ] && continue
109
+ [ ! -f " $i " ] && echo " File does not exist: $i " && continue
110
+ " $( file " $i " | grep -v ELF --silent) " && echo " Ignoring non ELF file: $i " && continue
108
111
109
112
echo " Manually setting rpath for $i "
110
113
patchelf --set-rpath ' $ORIGIN/..:$ORIGIN' " $i "
@@ -115,13 +118,16 @@ mkdir -p "$helpers_target_dir"
115
118
echo " Copying helpers in $helpers_target_dir "
116
119
for i in " $helpers_dir " /* ; do
117
120
[ -d " $i " ] && continue
121
+ [ ! -f " $i " ] && echo " File does not exist: $i " && continue
118
122
119
123
echo " Copying helper: $i "
120
124
cp " $i " " $helpers_target_dir "
121
125
done
122
126
123
127
for i in " $helpers_target_dir " /* ; do
124
128
[ -d " $i " ] && continue
129
+ [ ! -f " $i " ] && echo " File does not exist: $i " && continue
130
+ " $( file " $i " | grep -v ELF --silent) " && echo " Ignoring non ELF file: $i " && continue
125
131
126
132
echo " Manually setting rpath for $i "
127
133
patchelf --set-rpath ' $ORIGIN/../..' " $i "
You can’t perform that action at this time.
0 commit comments