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-04-17 23:33:21 +02:00
|
|
|
git -C dmenu-flexipatch reset --hard HEAD && git -C dmenu-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/
|
2024-04-17 23:33:21 +02:00
|
|
|
cd dmenu-final || exit 1
|
|
|
|
if [ "$1" = "-i" ]; then
|
|
|
|
sudo make install
|
|
|
|
else
|
|
|
|
make
|
|
|
|
fi
|