run.py: try working directory as a build path if no paths provided

2026-07-29 15:23:05 +04:00 · 2012-04-16 15:18:47 +00:00
parent b835c04589
commit 965dbf3620
1 changed files with 1 additions and 1 deletions
@@ -756,7 +756,7 @@ if __name__ == "__main__":
    else:
        options.mode = "perf"
    
-    run_args = getRunArgs(args)
+    run_args = getRunArgs(args[1:] or ['.'])
    
    if len(run_args) == 0:
        print >> sys.stderr, "Usage:\n", os.path.basename(sys.argv[0]), "<build_path>"