diff options
| author | Joel Sherrill <joel.sherrill@OARcorp.com> | 2011-12-01 20:28:14 +0000 |
|---|---|---|
| committer | Joel Sherrill <joel.sherrill@OARcorp.com> | 2011-12-01 20:28:14 +0000 |
| commit | f045b0370decaedf445cdd5baf8166581182a616 (patch) | |
| tree | 9274d4225da713e46defe9bf91fde26507beebff /rtems-coverage/rtems_config.in | |
| parent | 6517cde9f4cbf76e47b9fa96cc1abfffac44a0d4 (diff) | |
2011-12-01 Pawel Zagorski <pzagor@agh.edu.pl>
* do_coverage, rtems_config.in: Add GNU coverage support.
Diffstat (limited to 'rtems-coverage/rtems_config.in')
| -rw-r--r-- | rtems-coverage/rtems_config.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/rtems-coverage/rtems_config.in b/rtems-coverage/rtems_config.in index 3a7bf18..95e8b43 100644 --- a/rtems-coverage/rtems_config.in +++ b/rtems-coverage/rtems_config.in @@ -22,6 +22,9 @@ outputDirectory = @OUTPUT_DIRECTORY@ # This is the extension on the coverage/trace files. coverageExtension = @COVERAGE_EXTENSION@ +# This is the path to file containing *.gcno list +gcnosFile = @GCNOS_LIST@ + # This is the extension on the executable files. executableExtension = @EXECUTABLE_EXTENSION@ |