diff options
| author | Björn Persson <Bjorn@Rombobjörn.se> | 2014-01-31 08:32:17 +0100 |
|---|---|---|
| committer | Björn Persson <Bjorn@Rombobjörn.se> | 2014-01-31 08:32:17 +0100 |
| commit | 5d900ea8ccb660d4d3bb9aaa08464fb9aae081f9 (patch) | |
| tree | 67f8d3df5ed5b6549834cf59fc90aa87ab68ca9e /testsuite/sources/library_1/generated_files | |
| parent | dfc4c5cdce886fa7261258a1b40d463ce5c39de1 (diff) | |
Check that the right generated files exist.
Diffstat (limited to 'testsuite/sources/library_1/generated_files')
| -rw-r--r-- | testsuite/sources/library_1/generated_files | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/testsuite/sources/library_1/generated_files b/testsuite/sources/library_1/generated_files new file mode 100644 index 0000000..2acba75 --- /dev/null +++ b/testsuite/sources/library_1/generated_files @@ -0,0 +1,7 @@ +build_testcase.gpr +comfignat.gpr +${stage_includedir}/testcase/testcase.ads +${stage_libdir}/libtestcase.so.1 +${stage_libdir}/libtestcase.so +${stage_alidir}/testcase/testcase.ali +${stage_gprdir}/testcase.gpr |