diff options
Diffstat (limited to 'prepare_debug_dir.sh')
| -rwxr-xr-x | prepare_debug_dir.sh | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/prepare_debug_dir.sh b/prepare_debug_dir.sh index 7e9e18a..04dd8df 100755 --- a/prepare_debug_dir.sh +++ b/prepare_debug_dir.sh @@ -3,7 +3,13 @@ function make_symlink { local src="$1" local target="$2" - ln -sf "$src" "$target" + if [ -L "$target/$(basename "$src")" ]; then + # Overwrite existing symlinks + ln -sf "$src" "$target" + else + # But nothing else + ln -s "$src" "$target" + fi } function make_symlinks { @@ -23,7 +29,6 @@ SOWATCH_ROOT=$(dirname "$SCRIPT_PATH") BUILD_ROOT=$(pwd) rm -r drivers notifications watchlets - mkdir -p drivers notifications watchlets make_symlinks $BUILD_ROOT/*/lib*driver.so drivers |