From 5d900ea8ccb660d4d3bb9aaa08464fb9aae081f9 Mon Sep 17 00:00:00 2001 From: Björn Persson Date: Fri, 31 Jan 2014 08:32:17 +0100 Subject: Check that the right generated files exist. --- testsuite/sources/library_1/generated_files | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 testsuite/sources/library_1/generated_files (limited to 'testsuite/sources/library_1/generated_files') 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 -- cgit v1.2.3