improve build script

This commit is contained in:
Luca Bilke 2024-04-17 23:17:37 +02:00
parent f72e6cc250
commit df00cd0094
No known key found for this signature in database
GPG Key ID: AD6630D0A1E650AC
1 changed files with 6 additions and 2 deletions

View File

@ -4,8 +4,12 @@ cp -f config.mk Makefile patches.h st-flexipatch/
flexipatch-finalizer/flexipatch-finalizer.sh -r -d st-flexipatch -o st-final flexipatch-finalizer/flexipatch-finalizer.sh -r -d st-flexipatch -o st-final
git -C st-flexipatch reset --hard HEAD && git -C st-flexipatch clean -fd git -C st-flexipatch reset --hard HEAD && git -C st-flexipatch clean -fd
for patch in patches/*.diff; do for patch in patches/*.diff; do
patch -d st-final <"$patch" patch -d st-final <"$patch"
done done
cp -f config.h st-final/ cp -f config.h st-final/
cd st-final || exit 1 cd st-final || exit 1
make if [ "$1" = "-i" ]; then
sudo make install
else
make
fi