[jhbuild] Make --distclean available to jhbuild tinderbox too (GNOME bug 656081)

[Craig Keogh <cskeogh src gnome org>]

commit 2a192c3582b4e0bb1c2dd6182272138c0b1f9978
Author: Craig Keogh <cskeogh adam com au>
Date:   Thu Aug 16 11:24:47 2012 +0930

    Make --distclean available to jhbuild tinderbox too (GNOME bug 656081)

 jhbuild/commands/tinderbox.py |    3 +++
 1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/jhbuild/commands/tinderbox.py b/jhbuild/commands/tinderbox.py
index eda864c..00f5a7b 100644
--- a/jhbuild/commands/tinderbox.py
+++ b/jhbuild/commands/tinderbox.py
@@ -36,6 +36,9 @@ class cmd_tinderbox(BuildCommand):
             make_option('-a', '--autogen',
                         action='store_true', dest='_unused', default=False,
                         help=optparse.SUPPRESS_HELP), # no longer used
+            make_option('', '--distclean',
+                        action='store_true', dest='distclean', default=False,
+                        help=_('completely clean source tree')),
             make_option('-c', '--clean',
                         action='store_true', dest='clean', default=False,
                         help=_('run make clean before make')),