Differences From Artifact [8ccc9c476c]:
- File natools.gpr — part of check-in [423c312ac9] at 2013-09-09 18:18:36 on branch trunk — Add coverage analysis configuration (user: nat, size: 2130) [annotate] [blame] [check-ins using]
To Artifact [8d2e73e885]:
- File natools.gpr — part of check-in [1beffff021] at 2014-06-01 16:17:31 on branch trunk — Move generated source files to a dedicated directory (user: nat, size: 2143) [annotate] [blame] [check-ins using]
︙ | |||
9 10 11 12 13 14 15 | 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 | - + | when "Release" => Prefix := ""; when "Coverage" => Prefix := "coverage/"; end case; -- Source_Dirs is left to default "." |
︙ |