diff options
Diffstat (limited to 'src/util/Makefile.am')
-rw-r--r-- | src/util/Makefile.am | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/util/Makefile.am b/src/util/Makefile.am index 755f91a11..d1aa8aa9b 100644 --- a/src/util/Makefile.am +++ b/src/util/Makefile.am | |||
@@ -239,8 +239,11 @@ endif | |||
239 | # This is horrible, but compared to the alternatives and the solution | 239 | # This is horrible, but compared to the alternatives and the solution |
240 | # which preceded this it is a good compromise and good enough for one | 240 | # which preceded this it is a good compromise and good enough for one |
241 | # file. Everyone else is invited to patch it locally. | 241 | # file. Everyone else is invited to patch it locally. |
242 | # In case someone reads this file and is wondering about the | ||
243 | # assignment operator below, it's explained here: | ||
244 | # https://lists.gnu.org/archive/html/make-w32/2013-10/msg00021.html | ||
242 | 245 | ||
243 | xENV=$(shell which env) | 246 | xENV != which env |
244 | 247 | ||
245 | do_subst = $(SED) -e 's,[@]ENV[@],${xENV},g' | 248 | do_subst = $(SED) -e 's,[@]ENV[@],${xENV},g' |
246 | 249 | ||