diff options
| author | Loïc Hoguin <[email protected]> | 2018-11-28 14:43:18 +0100 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2018-11-28 14:43:18 +0100 |
| commit | c0e062aafae99877ccb907d95a5c98ce4da62779 (patch) | |
| tree | f4122a5cafdebb439fbbd341b23851cb72c3132c /plugins/shell.mk | |
| parent | be9ab3da2417057ca311ce44304c04739ac6475e (diff) | |
| download | erlang.mk-c0e062aafae99877ccb907d95a5c98ce4da62779.tar.gz erlang.mk-c0e062aafae99877ccb907d95a5c98ce4da62779.tar.bz2 erlang.mk-c0e062aafae99877ccb907d95a5c98ce4da62779.zip | |
Fix asn1 compilation with the +maps option
When this option is used no include file is generated.
Therefore don't error out if no include file can be found.
Diffstat (limited to 'plugins/shell.mk')
0 files changed, 0 insertions, 0 deletions