diff --git a/sledge/dune b/sledge/dune
index 215f47aae..db5206d00 100644
--- a/sledge/dune
+++ b/sledge/dune
@@ -138,4 +138,4 @@
   (with-stdout-to
    sledge-help.txt
    (run tools/gen_help.sh)))
- (mode promote-until-clean))
+ (mode promote))