From 41f1bea3eaae634aed2404c4c5f5e1eefe710445 Mon Sep 17 00:00:00 2001 From: Matthew Buckingham-Bishop Date: Mon, 11 Nov 2024 14:20:02 +0000 Subject: [PATCH] fix: devtool install --path broken ensures binaries are installed in the directory specified by --path. previously binaries could be overwriten during installation. Signed-off-by: Matthew Buckingham-Bishop --- tools/devtool | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/devtool b/tools/devtool index e9eb3d48db0..4d63dbb62d8 100755 --- a/tools/devtool +++ b/tools/devtool @@ -1193,7 +1193,7 @@ cmd_install() { # Install the binaries for binary in "${binaries[@]}"; do say "Installing $binary in $install_path" - install -m 755 "$( build_bin_path "$target" "$profile" "$binary" )" "$install_path" + install -m 755 -D -t "$install_path" "$( build_bin_path "$target" "$profile" "$binary" )" done }