diff --git a/workspace_tools/build_travis.py b/workspace_tools/build_travis.py index 595650a3637..83f3ead72d8 100644 --- a/workspace_tools/build_travis.py +++ b/workspace_tools/build_travis.py @@ -25,9 +25,8 @@ def run_builds(dry_run): libs = build.get("libs", []) if libs: cmdline = cmdline + " ".join(["--" + l for l in libs]) - if dry_run: - print(cmdline) - else: + print "Executing: " + cmdline + if not dry_run: if os.system(cmdline) != 0: sys.exit(1)