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 /testsuite/sources/empty/generated_files | |
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 'testsuite/sources/empty/generated_files')
-rw-r--r-- | testsuite/sources/empty/generated_files | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/sources/empty/generated_files b/testsuite/sources/empty/generated_files index e69de29..ea63505 100644 --- a/testsuite/sources/empty/generated_files +++ b/testsuite/sources/empty/generated_files @@ -0,0 +1 @@ +comfignat.gpr |