gnulib-tool.py: Finish implementing option --macro-prefix.

* gnulib-tool.py (main): Accept option --macro-prefix.

1 files changed, 10 insertions, 1 deletions

diff --git a/gnulib-tool.py b/gnulib-tool.py
index ba15ba7154..030e3caf73 100755
--- a/gnulib-tool.py
+++ b/gnulib-tool.py
@@ -374,6 +374,11 @@ def main():
                         dest='makefile_name',
                         default=None,
                         nargs=1)
+    # macro-prefix
+    parser.add_argument('--macro-prefix',
+                        dest='macro_prefix',
+                        default=None,
+                        nargs=1)
     # single-configure
     parser.add_argument('--single-configure',
                         dest='single_configure',
@@ -559,7 +564,8 @@ def main():
                  or cmdargs.excl_privileged_tests != None
                  or cmdargs.excl_unportable_tests != None
                  or cmdargs.avoids != None or cmdargs.lgpl != None
-                 or cmdargs.makefile_name != None))):
+                 or cmdargs.makefile_name != None
+                 or cmdargs.macro_prefix != None))):
         message = '%s: *** ' % constants.APP['name']
         message += 'invalid options for --%s mode\n' % mode
         message += 'Try \'gnulib-tool --help\' for more information.\n'
@@ -636,6 +642,9 @@ def main():
     makefile_name = cmdargs.makefile_name
     if makefile_name != None:
         makefile_name = makefile_name[0]
+    macro_prefix = cmdargs.macro_prefix
+    if macro_prefix != None:
+        macro_prefix = macro_prefix[0]
     avoids = cmdargs.avoids
     if avoids != None:
         avoids = [ module