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)
commit36b37afda6487113a981b036431fa97aa3fe2234
tree67ee70a1db67a11fe7717bc67f2e2607847d52f1
parentb9632c9d95f601c3d557cdbad60c06fcc7d30110
parent6600054e9b047e47a6dca0dc07076194b46e2720
Merge branch 'dj/runtime-prefix'

POSIX portability fix in Makefile to fix a glitch introduced a few
releases ago.

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