From db16759be51f06263d8752afddb6339efb362cd5 Mon Sep 17 00:00:00 2001 From: rina Date: Thu, 14 Sep 2023 19:57:35 +1000 Subject: [PATCH] don't build downstreams on update. --- update.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/update.py b/update.py index 81dbf08..bc728a9 100755 --- 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'), ]