diff --git a/update_config.sh b/update_config.sh new file mode 100755 index 0000000000000000000000000000000000000000..1d2e0dfbc1c91bc614a49d679931397098ba76cf --- /dev/null +++ b/update_config.sh @@ -0,0 +1,10 @@ +#!/bin/bash + +[[ -e src/linux/.config ]] || makepkg --nobuild --force + +(cd src/linux && make oldconfig) + +if ! diff -q -s src/linux/.config config.x86_64; then + cp src/linux/.config config.x86_64 + updpkgsums +fi