diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2021-03-06 08:23:48 -0800 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2021-03-06 08:24:05 -0800 |
commit | 487b9551b63ef936a6be6df38d1c9484cd97810c (patch) | |
tree | 3bec5d92a6ecadb5f463cb1756983057856ece9c /gnulib-tool | |
parent | fa6c6f2a3947fd72b3e15cc12c2c2ed26d3dd5bd (diff) | |
download | gnulib-487b9551b63ef936a6be6df38d1c9484cd97810c.tar.gz |
parse-datetime2: fix licensing
Problem reported by Bruno Haible in:
https://lists.gnu.org/r/bug-gnulib/2021-03/msg00017.html
* gnulib-tool (func_get_license): Treat parse-datetime2
(actually, anything starting with "parse-datetime")
like parse-datetime, as far as licenses go.
Diffstat (limited to 'gnulib-tool')
-rwxr-xr-x | gnulib-tool | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnulib-tool b/gnulib-tool index 2ba5dec65d..23b2c44565 100755 --- a/gnulib-tool +++ b/gnulib-tool @@ -2683,7 +2683,7 @@ func_get_license () ;; esac case "$1" in - parse-datetime ) + parse-datetime* ) # These modules are under a weaker license only for the purpose of some # users who hand-edit it and don't use gnulib-tool. For the regular # gnulib users they are under a stricter license. |