diff options
| -rwxr-xr-x | scripts/build.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/build.sh b/scripts/build.sh index b311eb65..6c3d2461 100755 --- a/scripts/build.sh +++ b/scripts/build.sh @@ -23,6 +23,8 @@ remove_symlink() { link="$1" if [ -L "$link" ]; then rm "$link" + elif ! [ -e "$link" ]; then + : "Not existing file is also okay" else echo "ERROR: '$link' is not a symlink. Not removing it." 1>&2 exit 1 |
