diff options
| author | ng0 <ng0@n0.is> | 2019-02-25 01:35:41 +0000 |
|---|---|---|
| committer | ng0 <ng0@n0.is> | 2019-02-25 01:35:41 +0000 |
| commit | 0abe9a8803649485132de7a8b782e1e152c9dd19 (patch) | |
| tree | 701cbdfcb2d25f885f605cbc2b26579af40125f8 /src/util/Makefile.am | |
| parent | 423a8e418f0ea9a891856ed3ae3b7f9f52d5cc8f (diff) | |
| download | gnunet-0abe9a8803649485132de7a8b782e1e152c9dd19.tar.gz gnunet-0abe9a8803649485132de7a8b782e1e152c9dd19.zip | |
src/util: Use make 4.0 assignment operator
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 | ||