diff options
-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 1debfc1..511fa1d 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
|