File tree 1 file changed +4
-0
lines changed
1 file changed +4
-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
108
110
109
111
echo " Manually setting rpath for $i "
110
112
patchelf --set-rpath ' $ORIGIN/..:$ORIGIN' " $i "
@@ -115,13 +117,15 @@ mkdir -p "$helpers_target_dir"
115
117
echo " Copying helpers in $helpers_target_dir "
116
118
for i in " $helpers_dir " /* ; do
117
119
[ -d " $i " ] && continue
120
+ [ ! -f " $i " ] && echo " File does not exist: $i " && continue
118
121
119
122
echo " Copying helper: $i "
120
123
cp " $i " " $helpers_target_dir "
121
124
done
122
125
123
126
for i in " $helpers_target_dir " /* ; do
124
127
[ -d " $i " ] && continue
128
+ [ ! -f " $i " ] && echo " File does not exist: $i " && continue
125
129
126
130
echo " Manually setting rpath for $i "
127
131
patchelf --set-rpath ' $ORIGIN/../..' " $i "
You can’t perform that action at this time.
0 commit comments