diff options
author | Juan Manuel Guerrero <juan.guerrero@gmx.de> | 2017-03-05 08:58:36 -0800 |
---|---|---|
committer | Jim Meyering <meyering@fb.com> | 2017-03-05 09:51:26 -0800 |
commit | 70032889a81f2dd391e5053dadb9b697e94107b6 (patch) | |
tree | 3b14633624ad08e7e419dbbcb872129242ab8568 /THANKS.in | |
parent | 4f09670d3c669be2b2434bbdad6a979740e29f0c (diff) | |
download | grep-70032889a81f2dd391e5053dadb9b697e94107b6.tar.gz |
build: use $(PATH_SEPARATOR), not ":" to augment PATH
* cfg.mk (PATH): Use $(PATH_SEPARATOR), for those systems that
use something other than ":".
* THANKS.in: Remove name, to avoid syntax-check failure due to
the duplicate, now that there is this commit.
Diffstat (limited to 'THANKS.in')
-rw-r--r-- | THANKS.in | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -49,7 +49,6 @@ Jochen Hein jochen.hein@delphi.central.de Joel N. Weber II devnull@gnu.org John Hughes john@nitelite.calvacom.fr Jorge Stolfi stolfi@dcc.unicamp.br -Juan Manuel Guerrero ST001906@HRZ1.HRZ.TU-Darmstadt.De Karl Heuer kwzh@gnu.org Kaveh R. Ghazi ghazi@caip.rutgers.edu Kazuro Furukawa furukawa@apricot.kek.jp |