From 5412aef0ad470e08684cccb41bc4d24601466971 Mon Sep 17 00:00:00 2001 From: "Eric S. Raymond" Date: Sun, 13 May 2012 20:58:26 -0400 Subject: [PATCH] The -d option is silly. Nuke it. --- coverity-submit | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/coverity-submit b/coverity-submit index 8522862..57ead57 100755 --- a/coverity-submit +++ b/coverity-submit @@ -28,11 +28,9 @@ if config.has_option("DEFAULT", "tools"): # Deduce what project and directory to operate on (and go there). noexec = False -(opts, args) = getopt.getopt(sys.argv[1:], "d:n") +(opts, args) = getopt.getopt(sys.argv[1:], "n") for (opt, arg) in opts: - if opt == '-d': - os.chdir(arg) - elif opt == '-n': + if opt == '-n': noexec = True where = os.path.basename(os.getcwd()) if args: -- 2.43.0