update pipeline

This commit is contained in:
Luca Bilke 2024-05-19 00:46:21 +02:00
parent b4eaf3fa85
commit 7deb32a08c
No known key found for this signature in database
GPG Key ID: C9E851809C1A5BDE
1 changed files with 2 additions and 8 deletions

View File

@ -36,13 +36,7 @@ jobs:
- name: Build
run: |
set -xeu
cp -f config.mk patches.h dwm-flexipatch/
bash flexipatch-finalizer/flexipatch-finalizer.sh -r -d dwm-flexipatch -o dwm-final
for patch in patches/*.diff; do
patch -d dwm-final <"$patch"
done
cp -f config.h dwm-final
cd dwm-final && make clean install DESTDIR="${GITHUB_WORKSPACE}/pkg" PREFIX="/usr"
make clean install DESTDIR="${GITHUB_WORKSPACE}/pkg" PREFIX="/usr"
- name: Create package
run: |