From 1214e8aecd9206ae9b15c794001475f79bc39628 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Sat, 19 Oct 2024 15:34:11 -0700 Subject: [PATCH] Smallfix to verific dir --- .github/workflows/test-build.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/test-build.yml b/.github/workflows/test-build.yml index 4ebcef064..a5cb5f4f5 100644 --- a/.github/workflows/test-build.yml +++ b/.github/workflows/test-build.yml @@ -59,8 +59,8 @@ jobs: run: | mkdir build cd build - make -f ../Makefile config-$CC ENABLE_PYOSYS=0 ENABLE_CCACHE=0 ENABLE_EDITLINE=0 - make -f ../Makefile -j$procs ENABLE_LTO=1 ENABLE_PYOSYS=0 ENABLE_CCACHE=0 ENABLE_EDITLINE=0 + make -f ../Makefile config-$CC ENABLE_PYOSYS=0 ENABLE_CCACHE=0 ENABLE_EDITLINE=0 VERIFIC_DIR=../verific + make -f ../Makefile -j$procs ENABLE_LTO=1 ENABLE_PYOSYS=0 ENABLE_CCACHE=0 ENABLE_EDITLINE=0 VERIFIC_DIR=../verific - name: Log yosys-config output run: |