chore: set gnu make path
This commit is contained in:
parent
1c606bfc11
commit
e5fdfbf00c
1 changed files with 4 additions and 0 deletions
4
.github/workflows/deploy.yml
vendored
4
.github/workflows/deploy.yml
vendored
|
|
@ -72,6 +72,10 @@ jobs:
|
|||
if: env.DEB_DOWNLOADED == 'false'
|
||||
uses: Randomblock1/theos-action@v1
|
||||
|
||||
- name: Set GNU Make path
|
||||
run: |
|
||||
echo "PATH=$(brew --prefix make)/libexec/gnubin:$PATH" >> $GITHUB_ENV
|
||||
|
||||
- name: Build packages
|
||||
if: env.DEB_DOWNLOADED == 'false'
|
||||
run: make package FINALPACKAGE=1 && make package FINALPACKAGE=1 THEOS_PACKAGE_SCHEME=rootless
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue