Skip to content

Commit 5c3e6e2

Browse files
authored
Merge pull request #15631 from gforney/master
scripts: correct path to getopts
2 parents a5d9961 + 87c131a commit 5c3e6e2

File tree

3 files changed

+4
-4
lines changed

3 files changed

+4
-4
lines changed

Verification/scripts/checkfds.bat

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
@echo off
22

3-
call %SVNROOT%\fds\Utilities\Scripts\getopts.bat %*
3+
call %SVNROOT%\bot\Bundlebot\nightly\getopts.bat %*
44

55
set fulldir=%BASEDIR%/%dir%
66

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
@echo off
22

3-
call %SVNROOT%\fds\Utilities\Scripts\getopts.bat %*
3+
call %SVNROOT%\bot\Bundlebot\nightly\getopts.bat %*
44

5-
if exist %dir%\%infile%.stop erase %dir%\%infile%.stop
5+
if exist %dir%\%infile%.stop erase %dir%\%infile%.stop

Verification/scripts/make_stop.bat

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
@echo off
22

3-
call %SVNROOT%\fds\Utilities\Scripts\getopts.bat %*
3+
call %SVNROOT%\bot\Bundlebot\nightly\getopts.bat %*
44

55
echo 3 > %dir%\%infile%.stop

0 commit comments

Comments
 (0)