Fix testing via promoted goblint binary during release

goblint · Nov 25, 2021 · 0e0ef7a · 0e0ef7a
1 parent 9c3f0d0
commit 0e0ef7a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/dune b/dune
@@ -4,12 +4,12 @@
   (target goblint)
   (deps src/goblint.exe)
   (action (copy src/goblint.exe goblint))
-  (mode (promote (until-clean))) ; replace existing file in source tree
+  (mode (promote (until-clean) (only goblint))) ; replace existing file in source tree, even if releasing (only overrides)
 )
 
 (rule
   (target goblint.byte)
   (deps src/goblint.bc)
   (action (copy src/goblint.bc goblint.byte))
-  (mode (promote (until-clean))) ; replace existing file in source tree
+  (mode (promote (until-clean) (only goblint.byte))) ; replace existing file in source tree, even if releasing (only overrides)
 )