diff --git a/Verification/scripts/checkfds.bat b/Verification/scripts/checkfds.bat index 931639082c..5539ffdb82 100644 --- a/Verification/scripts/checkfds.bat +++ b/Verification/scripts/checkfds.bat @@ -1,6 +1,6 @@ @echo off -call %SVNROOT%\fds\Utilities\Scripts\getopts.bat %* +call %SVNROOT%\bot\Bundlebot\nightly\getopts.bat %* set fulldir=%BASEDIR%/%dir% diff --git a/Verification/scripts/erase_stop.bat b/Verification/scripts/erase_stop.bat index 9e310941d8..e1e921bdca 100644 --- a/Verification/scripts/erase_stop.bat +++ b/Verification/scripts/erase_stop.bat @@ -1,5 +1,5 @@ @echo off -call %SVNROOT%\fds\Utilities\Scripts\getopts.bat %* +call %SVNROOT%\bot\Bundlebot\nightly\getopts.bat %* -if exist %dir%\%infile%.stop erase %dir%\%infile%.stop \ No newline at end of file +if exist %dir%\%infile%.stop erase %dir%\%infile%.stop diff --git a/Verification/scripts/make_stop.bat b/Verification/scripts/make_stop.bat index 840d59667d..2bf326cf20 100644 --- a/Verification/scripts/make_stop.bat +++ b/Verification/scripts/make_stop.bat @@ -1,5 +1,5 @@ @echo off -call %SVNROOT%\fds\Utilities\Scripts\getopts.bat %* +call %SVNROOT%\bot\Bundlebot\nightly\getopts.bat %* echo 3 > %dir%\%infile%.stop