[emacs] adapt dune-watch mode to change of header

The header printed by dune watch contains variable information, we should just search for the prefix of the header. Signed-off-by: Julien Tesson <[email protected]>
ocaml · Aug 5, 2022 · 3df932f · 3df932f
1 parent e6ca108
commit 3df932f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/editor-integration/emacs/dune-watch.el b/editor-integration/emacs/dune-watch.el
@@ -69,8 +69,8 @@
 (defconst dune-watch-process-name "*dune-watch-process*"
   "Name of process used to run dune watch.")
 
-(defconst dune-watch-header "********** NEW BUILD **********"
-  "Header of dune watch output.")
+(defconst dune-watch-header "********** NEW BUILD"
+  "Prefix of the header of dune watch output.")
 
 (defconst dune-watch-read-prompt "dune task (default: %s): "
   "Prompt displayed to the user to dune task.")