diff options
author | Bruno Haible <bruno@clisp.org> | 2022-07-31 23:02:58 +0200 |
---|---|---|
committer | Bruno Haible <bruno@clisp.org> | 2022-07-31 23:52:58 +0200 |
commit | 6b79ce37dd0153046cd05a43e0957dab20234d5e (patch) | |
tree | 4604ac54db9122257d46ee6c4b6ecd18609bda72 /pygnulib/GLModuleSystem.py | |
parent | ad5b5ec0c8c879678373dd210c00683ca5ee51dd (diff) | |
download | gnulib-6b79ce37dd0153046cd05a43e0957dab20234d5e.tar.gz |
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.
Diffstat (limited to 'pygnulib/GLModuleSystem.py')
-rw-r--r-- | pygnulib/GLModuleSystem.py | 3 |
1 files changed, 1 insertions, 2 deletions
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 |