diff --git a/update_config.sh b/update_config.sh index d39ad0d4711ea49384f7239b764c4c6a67a2ac9b..7a8c5fb905d1669b043ff3599fe30d0cf8dc3f4d 100755 --- a/update_config.sh +++ b/update_config.sh @@ -2,13 +2,13 @@ config_equal() { - diff -q -s src/linux/.config config.x86_64 + diff -q -s src/linux/.config config.x86_64 &>/dev/null } if config_equal; then (cd src/linux && make menuconfig) else - [[ -e src ]] && rm -r src + [[ -e src ]] && rm -rf src makepkg --nobuild --force (cd src/linux && make oldconfig) fi