github: bugfix: must re-set PREFIX

This commit is contained in:
Roland Conybeare 2025-05-10 17:11:05 -05:00
commit cdd9743ec8

View file

@ -39,6 +39,7 @@ jobs:
- name: build xo subprojects
run: |
PREFIX=${{github.workspace}}/local
PATH=${{github.workspace}}/local/bin:${PATH}
echo "::group::xo configure"
cmake -B .build -S . -DCMAKE_INSTALL_PREFIX=${PREFIX}