{subsection: build_workspace.bat}
-This script copies a SHA from the current git repository to submit-3.batlab.org and submits it as a workspace build. This script depends on a shell script in ~johnkn/workspace on submit-3. arguments are:
+This script copies a SHA from the current git repository to batlab.chtc.wisc.edu and submits it as a workspace build. This script depends on a shell script in ~johnkn/workspace on batlab.chtc.wisc.edu. arguments are:
*: =index | <SHA1>= The commit to build, "index" means use the SHA from git write-tree
*: =<description>= (optional) Description for the workspace build
-*: =all | win | win+ | warn= (optional), passed on to submit_workspace script on submit-3 as the platform arguments
+*: =all | win | win+ | warn= (optional), passed on to submit_workspace script on batlab.chtc.wisc.edu as the platform arguments
{file: build_workspace.bat}
@echo off
@@ -431,7 +431,7 @@
)
)
-set submit=submit-3.batlab.org
+set submit=batlab.chtc.wisc.edu
set tar=git archive %sha%
set platforms=all