From 379ad3a73cbfa42be0428f1edc23d2f5edd1e5b7 Mon Sep 17 00:00:00 2001 From: abejgonzalez Date: Fri, 8 Oct 2021 21:08:39 -0700 Subject: [PATCH] Forgot to remove clean in one place --- .github/scripts/remote-do-rtl-build.sh | 3 --- 1 file changed, 3 deletions(-) diff --git a/.github/scripts/remote-do-rtl-build.sh b/.github/scripts/remote-do-rtl-build.sh index ffe7e6e0..bda81ead 100755 --- a/.github/scripts/remote-do-rtl-build.sh +++ b/.github/scripts/remote-do-rtl-build.sh @@ -14,9 +14,6 @@ set -ex SCRIPT_DIR="$( cd "$( dirname "$0" )" && pwd )" source $SCRIPT_DIR/defaults.sh -# call clean on exit -trap clean EXIT - cd $REMOTE_CHIPYARD_DIR ./scripts/init-submodules-no-riscv-tools.sh ./scripts/init-fpga.sh