don't build downstreams on update.

katrinafyi · Sep 14, 2023 · db16759 · db16759
1 parent 5beb08e
commit db16759
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/update.py b/update.py
@@ -73,8 +73,8 @@ class Args:
   rest: list[str]
 
 PACKAGES: list[Package] = [
-  Package('asli', 'UQ-PAC/aslp', then=['aslp']),
-  Package('bap-asli-plugin', 'UQ-PAC/bap-asli-plugin', then=['bap-aslp']),
+  Package('asli', 'UQ-PAC/aslp', then=[]), # aslp
+  Package('bap-asli-plugin', 'UQ-PAC/bap-asli-plugin', then=[]), # bap-aslp
   Package('basil', 'UQ-PAC/bil-to-boogie-translator'),
   Package('bap-uq-pac', 'UQ-PAC/bap', 'aarch64-pull-request-2'),
 ]