changeset 5366:7dd833ec7db9

bin/gub: remove unneeded parameters for add_option, add some single letters.
author Jan Nieuwenhuizen <janneke@gnu.org>
date Tue, 21 Jul 2009 10:56:35 +0200
parents bacee51ceb93
children 53980255cbc1
files bin/gub
diffstat 1 files changed, 1 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
--- a/bin/gub	Tue Jul 21 10:55:14 2009 +0200
+++ b/bin/gub	Tue Jul 21 10:56:35 2009 +0200
@@ -80,12 +80,10 @@
                   help='Leave build and src dir for inspection')
 
     p.add_option ('-s', '--src-package', action='store_true',
-                  dest='src_package',
                   default=None,
                   help='Also roll source packages')
 
     p.add_option ('-p', '--platform', action='store',
-                  dest='platform',
                   type='choice',
                   default=None,
                   help='select target platform',
@@ -97,12 +95,10 @@
                   help='Key of package to inspect')
 
     p.add_option ('--inspect-output', action='store',
-                  dest='inspect_output',
                   default=None,
                   help='Where to write result of inspection')
 
     p.add_option ('--download-only', action='store_true',
-                  dest='download_only',
                   default=False,
                   help='Exit after downloading.')
 
@@ -160,7 +156,7 @@
                   dest='lax_checksums',
                   help="do not rebuild packages with failing checksums")
 
-    p.add_option ('--dry-run',
+    p.add_option ('-n', '--dry-run',
                   action='store_true',
                   default=False,
                   help='Print action, do not run.')