diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2019-04-28 13:14:49 -0700 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2019-04-28 13:17:30 -0700 |
commit | 9469d58ebe10b280a89c77ccdc89bd2340766107 (patch) | |
tree | 4687e58fd03fe490aab623a84da2612ca2b1ba21 /admin | |
parent | 4d97e1a9ea35c3a1d9f03abb7a822d57f384c1a5 (diff) | |
download | emacs-9469d58ebe10b280a89c77ccdc89bd2340766107.tar.gz |
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.
Diffstat (limited to 'admin')
-rwxr-xr-x | admin/update-copyright | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/admin/update-copyright b/admin/update-copyright index 44cb84d8cc9..9f360904ce6 100755 --- a/admin/update-copyright +++ b/admin/update-copyright @@ -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 |