diff options
author | Noah Misch <noah@leadboat.com> | 2014-10-12 23:33:37 -0400 |
---|---|---|
committer | Noah Misch <noah@leadboat.com> | 2014-10-12 23:33:57 -0400 |
commit | 4b9d7ccab3fc180ca9830a92688c1b560a01b720 (patch) | |
tree | 46afd3abcac51206f0a18700d087593cacae0d72 | |
parent | 62698dae6b4fd066f8d4e4a4f0a41c3155769d3d (diff) |
Fix quoting in the add_to_path Makefile macro.
The previous quoting caused "make -C src/bin check" to ignore, rather
than add to, any LD_LIBRARY_PATH content from the environment.
Back-patch to 9.4, where the macro was introduced.
-rw-r--r-- | src/Makefile.global.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile.global.in b/src/Makefile.global.in index a7564e424f7..7b6ccd5f9cb 100644 --- a/src/Makefile.global.in +++ b/src/Makefile.global.in @@ -302,7 +302,7 @@ PROVE_FLAGS = --verbose # prepend to path if already set, else just set it define add_to_path -$(1)='$(if $($(1)),$(2):$$$(1),$(2))' +$(1)="$(if $($(1)),$(2):$$$(1),$(2))" endef # platform-specific environment variable to set shared library path |