From 7d155923a8772e83395e5c5b439d92ce352b4bf2 Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Sun, 31 Jul 2022 18:56:05 +0200 Subject: gnulib-tool.py: Allow module arguments to occur at any position. * gnulib-tool.py (main): Collect the non-option arguments in a single list, regardless of their position. Use parse_known_args instead of parse_args, and give an error message about unknown options ourselves. * gnulib-tool: Fix typo in error message. --- gnulib-tool | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'gnulib-tool') diff --git a/gnulib-tool b/gnulib-tool index 6c50b44fbc..ac53480dbf 100755 --- a/gnulib-tool +++ b/gnulib-tool @@ -1518,7 +1518,7 @@ func_determine_path_separator echo "gnulib-tool: too many arguments in 'update' mode" 1>&2 echo "Try 'gnulib-tool --help' for more information." 1>&2 echo "If you really want to modify the gnulib configuration of your project," 1>&2 - echo "you need to use 'gnulib --import' - at your own risk!" 1>&2 + echo "you need to use 'gnulib-tool --import' - at your own risk!" 1>&2 func_exit 1 fi if test -n "$local_gnulib_path" || test -n "$supplied_libname" \ -- cgit v1.2.1