diff options
Diffstat (limited to 'packaging/utils/bash_execute.sh')
-rw-r--r-- | packaging/utils/bash_execute.sh | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/packaging/utils/bash_execute.sh b/packaging/utils/bash_execute.sh deleted file mode 100644 index 4092db966..000000000 --- a/packaging/utils/bash_execute.sh +++ /dev/null @@ -1,19 +0,0 @@ -#!/usr/bin/bash - -convert_path() { - local ARG="$1" - ARG="${ARG//C:\\//c/}" - ARG="${ARG//c:\\//c/}" - ARG="${ARG//C:\///c/}" - ARG="${ARG//c:\///c/}" - - echo "$ARG" -} - -declare params=() -for x in "${@}" -do - params+=("$(convert_path "${x}")") -done - -"${params[@]}" |