diff options
Diffstat (limited to 'testsuite/sources/steps/generated_files')
| -rw-r--r-- | testsuite/sources/steps/generated_files | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/testsuite/sources/steps/generated_files b/testsuite/sources/steps/generated_files new file mode 100644 index 0000000..0788db6 --- /dev/null +++ b/testsuite/sources/steps/generated_files @@ -0,0 +1,9 @@ +comfignat.gpr +${stage_bindir}/testcase +preprocess_done +base_done +build_done +$(if [ "${installation}" = full ] ; then echo preinstall_done ; fi) +$(if [ "${installation}" = files -o "${installation}" = full ] ; then echo install_files_done ; fi) +$(if [ "${installation}" = full ] ; then echo postinstall_done ; fi) +$(if [ "${installation}" = files -o "${installation}" = full ] ; then echo install_done ; fi) |