2024-02-08 16:32:36 +01:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
|
|
cp config.mk patches.h dmenu-flexipatch/
|
|
|
|
|
flexipatch-finalizer/flexipatch-finalizer.sh -r -d dmenu-flexipatch -o dmenu-final
|
2024-02-28 00:50:18 +01:00
|
|
|
git -C st-flexipatch reset --hard HEAD && git -C st-flexipatch clean -fd
|
2024-02-08 16:32:36 +01:00
|
|
|
# for patch in patches/*.diff; do
|
|
|
|
|
# patch -d dmenu-final <"$patch"
|
|
|
|
|
# done
|
|
|
|
|
cp config.h dmenu-final/
|
