toolrunner should which tool before invoking (#220)

This commit is contained in:
eric sciple
2019-11-18 16:20:01 -05:00
committed by GitHub
parent 9a3c005162
commit 5c894298f2
10 changed files with 261 additions and 65 deletions

View File

@@ -0,0 +1,12 @@
@echo off
setlocal
set index=0
:check_arg
set arg=%1
if not defined arg goto :eof
set "arg=%arg:"=<quote>%"
echo args[%index%]: "%arg%"
set /a index=%index%+1
shift
goto check_arg

View File

@@ -0,0 +1,11 @@
#!/usr/bin/env bash
# store arguments in a special array
args=("$@")
# get number of elements
ELEMENTS=${#args[@]}
# echo each element
for (( i=0;i<$ELEMENTS;i++)); do
echo "args[$i]: \"${args[${i}]}\""
done