workspace: Remove redundant --config=python3 from help strings (Robot…

…Locomotion#12295)
YinjieLin · Nov 1, 2019 · 3b7ef39 · 3b7ef39
1 parent 6d96ef9
commit 3b7ef39
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/tools/workspace/mirror_to_s3.py b/tools/workspace/mirror_to_s3.py
@@ -9,7 +9,7 @@
 
 To run:
 
-  bazel build --config=python3 //tools/workspace:mirror_to_s3
+  bazel build //tools/workspace:mirror_to_s3
   bazel-bin/tools/workspace/mirror_to_s3 [--no-download] [--no-upload]
 
 The --no-download option implies --no-upload.

diff --git a/tools/workspace/new_release.py b/tools/workspace/new_release.py
@@ -8,12 +8,12 @@
 
 (1) Type in your password each time you run this program:
 
-  bazel build --config python3 //tools/workspace:new_release
+  bazel build //tools/workspace:new_release
   bazel-bin/tools/workspace/new_release
 
 (2) Use a GitHub API token:
 
-  bazel build --config python3 //tools/workspace:new_release
+  bazel build //tools/workspace:new_release
   env GITHUB_API_TOKEN=$(cat ~/.config/readonly_github_api_token.txt) \
     bazel-bin/tools/workspace/new_release