diff options
Diffstat (limited to 'Tools')
-rw-r--r-- | Tools/buildbot/build.bat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/buildbot/build.bat b/Tools/buildbot/build.bat index 83a5dfd..1306ee5 100644 --- a/Tools/buildbot/build.bat +++ b/Tools/buildbot/build.bat @@ -10,7 +10,7 @@ call "%~dp0clean%PLAT%.bat" @rem a new version of an external library, especially Tcl/Tk): @rem 1) uncomment the following line: -@rem call "%~dp0..\..\PCbuild\get_externals.bat" --clean-only +call "%~dp0..\..\PCbuild\get_externals.bat" --clean-only @rem 2) commit and push @rem 3) wait for all Windows bots to start a build with that changeset |