toolrunner should which tool before invoking (#220)
This commit is contained in:
1 parent
021d032160
commit
42ec8de762
6 files changed
+243
-6
No files matched your search
@@ -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
|
||||
Reference in new issue
Block a user