diff options
Diffstat (limited to 'scripts/exec-install.sh')
| -rwxr-xr-x | scripts/exec-install.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/exec-install.sh b/scripts/exec-install.sh index 3b9375af3834..8180b29c9997 100755 --- a/scripts/exec-install.sh +++ b/scripts/exec-install.sh @@ -60,6 +60,12 @@ fi # If it's a symlink, create an equivalent in the install directory. for exe in $bindir/*; do + # Skip any directories in case the bin/ directory is also used as the + # prefix. + if [ -d "$exe" ]; then + continue + fi + base=$(basename "$exe") if [ -L "$exe" ]; then |