diff options
| author | Andy Wingo <wingo@pobox.com> | 2016-07-07 14:05:53 +0200 |
|---|---|---|
| committer | Andy Wingo <wingo@pobox.com> | 2016-07-07 14:05:53 +0200 |
| commit | d484bfbacec75941ba643ddc600e995f2c160928 (patch) | |
| tree | 1c5fb055cad874ed5cda45e000ecc57033cbd322 /GNUmakefile | |
| parent | 0d191d13948c722dfe13cceca34a07df63669d6d (diff) | |
Update Gnulib to 68b6ade.
Also add --conditional-dependencies to the flags. See:
https://lists.gnu.org/archive/html/guile-devel/2016-07/msg00012.html
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile index 4ab642943..a869da5bf 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -5,7 +5,7 @@ # It is necessary if you want to build targets usually of interest # only to the maintainer. -# Copyright (C) 2001, 2003, 2006-2014 Free Software Foundation, Inc. +# Copyright (C) 2001, 2003, 2006-2016 Free Software Foundation, Inc. # This program is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by |