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 | ||