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