From 77fd6936b121042733dec48aa9915f0e1a123b97 Mon Sep 17 00:00:00 2001 From: Paulo Matos Date: Mon, 3 Aug 2020 16:16:36 +0200 Subject: [PATCH] Fix target names post-CS becoming the default (#3327) Fixes target names to fix ubsan workflows. --- .github/workflows/ci-ubsan.yml | 13 ++----------- 1 file changed, 2 insertions(+), 11 deletions(-) diff --git a/.github/workflows/ci-ubsan.yml b/.github/workflows/ci-ubsan.yml index cb0bb0fba2..c7e7354479 100644 --- a/.github/workflows/ci-ubsan.yml +++ b/.github/workflows/ci-ubsan.yml @@ -19,7 +19,7 @@ jobs: - name: Build run: | export cpus=$(grep -c ^processor /proc/cpuinfo) - make CPUS="${cpus}" PKGS="racket-test db-test unstable-flonum-lib net-test" CONFIGURE_ARGS_qq='CFLAGS="-fno-var-tracking-assignments" --enable-ubsan' in-place 2>&1 | tee logs/build.log + make CPUS="${cpus}" PKGS="racket-test db-test unstable-flonum-lib net-test" CONFIGURE_ARGS_qq='CFLAGS="-fno-var-tracking-assignments" --enable-ubsan' RACKETBC_SUFFIX="" bc-in-place 2>&1 | tee logs/build.log - name: Add new racket to PATH # This should be: # run: echo "::add-path::${{ github.workspace }}/racket/bin" @@ -98,21 +98,12 @@ jobs: - uses: actions/checkout@v2 with: fetch-depth: 100 - - name: Speed build and install racketcgc - working-directory: ./racket/src - run: | - ./configure --enable-cgcdefault --prefix=/usr - export cpus=$(grep -c ^processor /proc/cpuinfo) - make -j$((cpus+1)) - make -j$((cpus+1)) install - - name: Clean repo - run: git clean -xdf - name: Create logs directory run: mkdir $PWD/logs - name: Build run: | export cpus=$(grep -c ^processor /proc/cpuinfo) - make CPUS="${cpus}" PKGS="racket-test db-test unstable-flonum-lib net-test" CONFIGURE_ARGS_qq='CFLAGS="-fno-var-tracking-assignments" --enable-ubsan' RACKETCS_SUFFIX="" RACKET=/usr/bin/racket cs 2>&1 | tee logs/build.log + make CPUS="${cpus}" PKGS="racket-test db-test unstable-flonum-lib net-test" CONFIGURE_ARGS_qq='CFLAGS="-fno-var-tracking-assignments" --enable-ubsan' cs-in-place 2>&1 | tee logs/build.log - name: Add new racket to PATH # This should be: # run: echo "::add-path::${{ github.workspace }}/racket/bin"