diff options
Diffstat (limited to 'testsuite/sources/library_1/generated_files')
| -rw-r--r-- | testsuite/sources/library_1/generated_files | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/sources/library_1/generated_files b/testsuite/sources/library_1/generated_files index 2acba75..525613f 100644 --- a/testsuite/sources/library_1/generated_files +++ b/testsuite/sources/library_1/generated_files @@ -1,7 +1,7 @@ build_testcase.gpr comfignat.gpr ${stage_includedir}/testcase/testcase.ads -${stage_libdir}/libtestcase.so.1 +${stage_libdir}/libtestcase${frobnicate:+-frob}.so.1 ${stage_libdir}/libtestcase.so ${stage_alidir}/testcase/testcase.ali ${stage_gprdir}/testcase.gpr |