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