fix: devtool install --path broken

This ensures binaries are installed in the directory specified by --path.

Previously if --path specified a non existent directory it would create a single file.

Signed-off-by: Matthew Buckingham-Bishop <[email protected]>

Author: mpbb

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
 }