Use /bin/bash as interpreter.

[dak.git] / scripts / debian / byhand-win32-loader

diff --git a/scripts/debian/byhand-win32-loader b/scripts/debian/byhand-win32-loader
index fff19742edd2696ab059bc2fb6143052fd82e7da..2006a195578cfa9bf796d3f65e0d64bb8e04ab07 100755 (executable)
--- a/scripts/debian/byhand-win32-loader
+++ b/scripts/debian/byhand-win32-loader
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 set -u
 set -e
@@ -45,7 +45,9 @@ if [ ! -d "$TARGET" ]; then
 fi
 
 # Put said file into the tools directory
-cp "$WIN32_LOADER_FILE" "${TARGET}${TARGET_FILENAME}"
+# Use --remove-destination to avoid problems with the fact that the target may
+# be a hardlink and in that case we'd update multiple suites together
+cp --remove-destination "$WIN32_LOADER_FILE" "${TARGET}${TARGET_FILENAME}"
 
 # Chmod it correctly
 chmod 0644 "${TARGET}${TARGET_FILENAME}"