From 21641355b300422dcc281e1406553ee3e19e8829 Mon Sep 17 00:00:00 2001 From: "Gavin D. Howard" Date: Fri, 17 Feb 2023 08:47:47 -0700 Subject: [PATCH] Fix a bug in scripts/exec-install.sh Signed-off-by: Gavin D. Howard --- scripts/exec-install.sh | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/scripts/exec-install.sh b/scripts/exec-install.sh index 3b9375af..8180b29c 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