]> thyrsus.com Git - coverity-submit.git/commitdiff
The -d option is silly. Nuke it.
authorEric S. Raymond <esr@thyrsus.com>
Mon, 14 May 2012 00:58:26 +0000 (20:58 -0400)
committerEric S. Raymond <esr@thyrsus.com>
Mon, 14 May 2012 00:58:26 +0000 (20:58 -0400)
coverity-submit

index 852286252d484f51409be0e231b46c04b1d07c11..57ead575af0eef92410761a3d18022014a0d1f39 100755 (executable)
@@ -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: