Andrew's git / gitweb.git / diff
?
Merge branch 'dj/runtime-prefix'
authorJunio C Hamano <gitster@pobox.com>
Wed, 18 Jul 2018 19:20:32 +0000 (12:20 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 18 Jul 2018 19:20:32 +0000 (12:20 -0700)
POSIX portability fix in Makefile to fix a glitch introduced a few
releases ago.

* dj/runtime-prefix:
Makefile: tweak sed invocation

1  2 
Makefile patch | diff1 | diff2 | blob | history
diff --cc Makefile
Simple merge