Prevent spurious pipeline failure on GitLab.
authorEric S. Raymond <esr@thyrsus.com>
Mon, 5 Jun 2017 19:22:59 +0000 (15:22 -0400)
committerEric S. Raymond <esr@thyrsus.com>
Mon, 5 Jun 2017 19:22:59 +0000 (15:22 -0400)
commitbc33b1f5546dcdd9205b95314dd5b34f0950346b
tree4a0bc50313b4908c5ebe99b85345bb5e2c2c62dc
parent1944e4c7bafd0f4b9a3ffd72d8aeed34d9fccc55
Prevent spurious pipeline failure on GitLab.
Makefile