diff options
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 |