diff options
| author | Emily <vcs@emily.moe> | 2019-09-05 00:30:29 +0100 |
|---|---|---|
| committer | Emily <vcs@emily.moe> | 2019-09-05 00:43:30 +0100 |
| commit | a9af28694ce5fbcf4cdfd0c3cb440c08681f8f16 (patch) | |
| tree | c51305cf5b837d4898df6202520f051d4b189e85 /techlibs/anlogic/drams_map.v | |
| parent | 8c1a98249457b790895aee76115ddd40ec891555 (diff) | |
| download | yosys-a9af28694ce5fbcf4cdfd0c3cb440c08681f8f16.tar.gz yosys-a9af28694ce5fbcf4cdfd0c3cb440c08681f8f16.tar.bz2 yosys-a9af28694ce5fbcf4cdfd0c3cb440c08681f8f16.zip | |
Use $(shell :; ...) in Makefile to force shell
Did you think that `$(shell command -v ...)` would actually get run by
the shell? Foolish mortal; GNU Make is obviously far more wise than
thee, as it optimizes it to a direct -- and hence broken (since
`command` is a shell builtin) -- exec. This horrifying contortion
ensures that an actual shell runs the command and fixes the behaviour.
@Shizmob found the source of this misbehaviour; turns out gmake has a
hard-coded, incomplete list of shell builtins:
https://github.com/mirror/make/blob/715c787dc69bac37827a7d6ea6d40a86c55b5583/src/job.c#L2691
This contains `command`, but the whole function is full of horrible
heuristic garbage so who knows. I'm so sorry.
Diffstat (limited to 'techlibs/anlogic/drams_map.v')
0 files changed, 0 insertions, 0 deletions