Reinstate genhtml --prefix option for non-vpath builds
authorPeter Eisentraut <peter_e@gmx.net>
Sat, 14 Oct 2017 15:40:54 +0000 (11:40 -0400)
committerPeter Eisentraut <peter_e@gmx.net>
Sat, 14 Oct 2017 15:44:45 +0000 (11:44 -0400)
commit5f340cb30ce2f0d9f272840b0d977b0a4b854f0b
tree10b1ad69ef3e2199b9cb939e839217ae0ac1f8b6
parentb81eba6a650186dc35b6a1fb8bde320d9c29055d
Reinstate genhtml --prefix option for non-vpath builds

In c3d9a66024a93e6d0380bdd1b18cb03a67216b72, the genhtml --prefix option
was removed to get slightly better behavior for vpath builds.  genhtml
would then automatically pick a suitable prefix.  However, for non-vpath
builds, this makes the coverage output dependent on the length of the
path where the source code happens to be, leading to confusingly
arbitrary results.  So put the --prefix option back for non-vpath
builds.
src/Makefile.global.in