diff options
Diffstat (limited to 'testsuite/sources/library_2/generated_files')
| -rw-r--r-- | testsuite/sources/library_2/generated_files | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/sources/library_2/generated_files b/testsuite/sources/library_2/generated_files new file mode 100644 index 0000000..015651b --- /dev/null +++ b/testsuite/sources/library_2/generated_files @@ -0,0 +1,8 @@ +intermediate.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 +${stage_gprdir}/other.gpr |