diff options
author | Tom de Vries <tom@codesourcery.com> | 2015-02-24 06:55:51 +0000 |
---|---|---|
committer | Tom de Vries <vries@gcc.gnu.org> | 2015-02-24 06:55:51 +0000 |
commit | 891201a1c3a3f36154e8f25872282751860310fa (patch) | |
tree | dbd98ce98afd136216b32912d5f096fff9b87b18 /gcc/ada/gcc-interface/utils.c | |
parent | 781048da15875abd281cd35d2b0edcefed703bbb (diff) | |
download | gcc-891201a1c3a3f36154e8f25872282751860310fa.zip gcc-891201a1c3a3f36154e8f25872282751860310fa.tar.gz gcc-891201a1c3a3f36154e8f25872282751860310fa.tar.bz2 |
Add additional_sources_used
2015-02-24 Tom de Vries <tom@codesourcery.com>
PR testsuite/65126
* lib/gcc-defs.exp (additional_sources_used): Add new var.
(dg-additional-files-options): Copy additional_sources to
additional_sources_used before emptying additional_sources.
* lib/gcc-dg.exp (cleanup-coverage-files, cleanup-repo-files)
(cleanup-stack-usage, cleanup-ada-spec, cleanup-dump)
(cleanup-saved-temps): Use additional_sources_used instead of
additional_sources.
(dg-test): Reset additional_sources_used.
From-SVN: r220929
Diffstat (limited to 'gcc/ada/gcc-interface/utils.c')
0 files changed, 0 insertions, 0 deletions