update_config.sh: call menuconfig when identical

#!/bin/bash -e

[[ -e src/linux/.config ]] || makepkg --nobuild --force

config_equal()

{

	diff -q -s src/linux/.config config.x86_64

}

if config_equal; then

	(cd src/linux && make menuconfig)

else

	[[ -e src ]] && rm -r src

	makepkg --nobuild --force

	(cd src/linux && make oldconfig)

fi

if ! diff -q -s src/linux/.config config.x86_64; then

if ! config_equal; then

	cp src/linux/.config config.x86_64

	updpkgsums

fi