diff --git a/buildconfig/Jenkins/buildscript b/buildconfig/Jenkins/buildscript index ce0f5519f113e149e442e91c0799093d3bb11f97..d122e7eee8d070d56a87f3e8abec7e55ab1c58cd 100755 --- a/buildconfig/Jenkins/buildscript +++ b/buildconfig/Jenkins/buildscript @@ -280,9 +280,11 @@ fi ############################################################################### # Run the unit tests ############################################################################### -# Remove any Mantid.user.properties file -userprops=~/.mantid/Mantid.user.properties -rm -f $userprops +# Prevent race conditions when creating the user config directory +userconfig_dir=$HOME/.mantid +rm -fr $userconfig_dir +mkdir -p $userconfig_dir +touch $userconfig_dir/Mantid.user.properties $CTEST_EXE -j${BUILD_THREADS:?} --schedule-random --output-on-failure ############################################################################### diff --git a/buildconfig/Jenkins/buildscript.bat b/buildconfig/Jenkins/buildscript.bat index 190353049b998d219c7e23b432989b6a18e8b6b6..78194f3dbbf57d5f7909c5a4042e10b270e8a1f8 100755 --- a/buildconfig/Jenkins/buildscript.bat +++ b/buildconfig/Jenkins/buildscript.bat @@ -157,10 +157,14 @@ if ERRORLEVEL 1 exit /B %ERRORLEVEL% ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: :: Run the tests ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: -:: Remove the user properties file just in case anything polluted it +:: Remove any user configuration and create a blank user properties file +:: This prevents race conditions when creating the user config directory set USERPROPS=bin\%BUILD_CONFIG%\Mantid.user.properties del %USERPROPS% - +set CONFIGDIR=%APPDATA%\mantidproject\mantid +rmdir /S /Q %CONFIGDIR% +mkdir %CONFIGDIR% +call cmake.exe -E touch %USERPROPS% call ctest.exe -C %BUILD_CONFIG% -j%BUILD_THREADS% --schedule-random --output-on-failure if ERRORLEVEL 1 exit /B %ERRORLEVEL%