diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-05-09 12:51:30 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-05-09 12:58:43 +0200 |
| commit | 2a3962660ab877556518c0093aae5c8da7f3bb9f (patch) | |
| tree | 10f212b71b61093c889ff7d9193590bda5ea066b /.gitignore | |
| parent | aa1c3a0000793873ef31f33f8aa90f5ae1ab8b8d (diff) | |
| download | patches-2a3962660ab877556518c0093aae5c8da7f3bb9f.tar patches-2a3962660ab877556518c0093aae5c8da7f3bb9f.tar.gz | |
maint: Tweak the 'release' target.
* Makefile.am (SUPPORTED_SYSTEMS, GUIXSD_SUPPORTED_SYSTEMS): Use "?="
instead of "=".
(release): Do "git checkout ." in po/ early on. Abort upon uncommitted
changes. Print a message at the end.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions