[sledge] Build: Do not clean help file

Summary: The `sledge-help.txt` file is under source control, and should not be removed by `make clean`. Reviewed By: ngorogiannis Differential Revision: D23497893 fbshipit-source-id: 2061160a8
4 years ago · d7cd987780
parent 5f82adbf37
commit d7cd987780
1 changed files with 1 additions and 1 deletions
--- 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))