diff options
| author | Björn Persson <Bjorn@Rombobjörn.se> | 2016-01-09 18:13:54 +0100 |
|---|---|---|
| committer | Björn Persson <Bjorn@Rombobjörn.se> | 2016-01-09 18:13:54 +0100 |
| commit | c108be85bf27d40d9b1c45d4de14185dc902b763 (patch) | |
| tree | df88fd45969550c8590d319c6ee76c2730947a81 /Makefile | |
| parent | 99d40080c8f3db1463e33fa1e2cd572e43f6dda2 (diff) | |
fixes to sub-Make situations
· Made preprocessing work even when build_GPRs is empty.
· Improved the quoting in delegating makefiles.
· Explained delegation_command better.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions