Commit 9469d58e authored by Paul Eggert's avatar Paul Eggert

Update from GMP

* admin/update-copyright (updatable_files):
Don’t update copyright year on files copied from GMP, so that
they’re identical to upstream.
* src/mini-gmp.c, src/mini-gmp.h: Copy from GMP development
versions as of 2019-01-01 20:15:39 UTC.
parent 4d97e1a9
Pipeline #1492 failed with stage
in 51 minutes and 6 seconds
......@@ -50,6 +50,7 @@ repo_files=$(git ls-files) &&
# Do not update the copyright of files that have one or more of the
# following problems:
# . They are license files, maintained by the FSF, with their own dates.
# . They are GMP files, maintained by the GMP project, with their own dates.
# . Their format cannot withstand changing the contents of copyright strings.
updatable_files=$(find $repo_files \
......@@ -70,6 +71,7 @@ updatable_files=$(find $repo_files \
! -name hand.cur \
! -name key.pub \
! -name key.sec \
! -name 'mini-gmp.[ch]' \
-print) &&
build-aux/update-copyright $updatable_files
This diff is collapsed.
/* mini-gmp, a minimalistic implementation of a GNU GMP subset.
Copyright 2011-2015, 2017, 2019 Free Software Foundation, Inc.
Copyright 2011-2015, 2017 Free Software Foundation, Inc.
This file is part of the GNU MP Library.
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment