chore: make devcluster to rebuild bindings before harness and webui. (

#8748)
determined-ai · Jan 24, 2024 · 7c3650f · 7c3650f
1 parent 7f3ddfb
commit 7c3650f
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/tools/devcluster.yaml b/tools/devcluster.yaml
@@ -2,9 +2,9 @@
 startup_input: "p"
 
 commands:
-  p: make -C harness clean build  # rebuild Python
-  w: make -C webui build          # rebuild Webui
-  c: make -C docs build           # rebuild doCs
+  p: make -C bindings build && make -C harness clean build  # rebuild Python
+  w: make -C bindings build && make -C webui build          # rebuild Webui
+  c: make -C docs build  # rebuild doCs (capital C is the mnemonic)
 
 # Three stages: db, master, and agent.
 stages: