From 951c6e9cce58f649ef8b8d455cef9f71703a7b3d Mon Sep 17 00:00:00 2001 From: Ali Caglayan Date: Tue, 18 Jul 2023 02:49:33 +0200 Subject: [PATCH] test: repro #7430 Test case for #7430. We demonstrate that the `dune describe pp` command leaves behind the dump file. Signed-off-by: Ali Caglayan --- .../test-cases/describe/describe-pp/describe-pp.t/run.t | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/test/blackbox-tests/test-cases/describe/describe-pp/describe-pp.t/run.t b/test/blackbox-tests/test-cases/describe/describe-pp/describe-pp.t/run.t index f3e0b2c2ef1..2f962b1cc44 100644 --- a/test/blackbox-tests/test-cases/describe/describe-pp/describe-pp.t/run.t +++ b/test/blackbox-tests/test-cases/describe/describe-pp/describe-pp.t/run.t @@ -7,3 +7,8 @@ We can also show the original source if it is not preprocessed $ dune describe pp src/util.ml let log str = print_endline str + +We also make sure that the dump file is not present + + $ dune_cmd exists profile.dump + true