diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2018-07-24 11:35:25 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-07-24 11:35:25 +0200 |
| commit | 88678551f1e9871def5a8eaae017fd8c464203b8 (patch) | |
| tree | a2dac3c4d5b82202876452a555768d41ab05cc15 /doc/man-prologue.xhtml | |
| parent | 60c2438c4aec9b4bf1c64878534e83152ab7a88e (diff) | |
Make exe{} target default to no extension rather than fail
This just keep breaking (this time for exe{}: in{} match during distribution).
So we assume rules will assign the target platform extension if necessary
and if not, then we default to no extension (e.g., a shell script).
Diffstat (limited to 'doc/man-prologue.xhtml')
0 files changed, 0 insertions, 0 deletions