From 6b79ce37dd0153046cd05a43e0957dab20234d5e Mon Sep 17 00:00:00 2001
From: Bruno Haible <bruno@clisp.org>
Date: Sun, 31 Jul 2022 23:02:58 +0200
Subject: gnulib-tool.py: Improve some error messages.

* gnulib-tool.py (main): Write "*** Stop." instead of "*** Exit.".
(__main__): Print an error message for GLError 5, 13, 14, 15, 16, 17, 18.
* pygnulib/GLError.py (GLError.__repr__): Compute one error message,
not 19.
---
 pygnulib/GLModuleSystem.py | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'pygnulib/GLModuleSystem.py')

diff --git a/pygnulib/GLModuleSystem.py b/pygnulib/GLModuleSystem.py
index 00b2c5f035..319175dee8 100644
--- a/pygnulib/GLModuleSystem.py
+++ b/pygnulib/GLModuleSystem.py
@@ -802,8 +802,7 @@ Include:|Link:|License:|Maintainer:)'
                 if self.config['errors']:
                     raise GLError(18, str(self))
                 else:  # if not self.config['errors']
-                    sys.stderr.write('gnulib-tool: warning: ')
-                    sys.stderr.write('module %s lacks a license\n' % str(self))
+                    sys.stderr.write('gnulib-tool: warning: module %s lacks a license\n' % str(self))
         if not license:
             license = 'GPL'
         return license
-- 
cgit v1.2.1