From 519e4aa9a36237cc472cd6a0c28556a116b07f0d Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 31 Jan 2020 13:30:16 -0700 Subject: [PATCH] add -O2 for CI builds --- .github/workflows/ci-push.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci-push.yml b/.github/workflows/ci-push.yml index 75d3380767..d26591ccc1 100644 --- a/.github/workflows/ci-push.yml +++ b/.github/workflows/ci-push.yml @@ -51,7 +51,7 @@ jobs: working-directory: ./racket/src run: | export cpus=$(grep -c ^processor /proc/cpuinfo) - make CFLAGS="-Werror" -l $cpus -j $((cpus+1)) + make CFLAGS="-Werror -O2" -l $cpus -j $((cpus+1)) - name: Installing working-directory: ./racket/src run: make -j $((cpus+1)) install @@ -136,7 +136,7 @@ jobs: working-directory: ./racket/src run: | export cpus=$(grep -c ^processor /proc/cpuinfo) - make CFLAGS="-Werror" -l $cpus -j $((cpus+1)) + make CFLAGS="-Werror -O2" -l $cpus -j $((cpus+1)) - name: Installing working-directory: ./racket/src run: make -j $((cpus+1)) install