From f723b1b6b5167031fa42902b17e4d4d81276a4ca Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Luttringer?= <seblu@seblu.net>
Date: Tue, 13 Feb 2018 17:40:39 +0100
Subject: [PATCH] update_config.sh: bug fixes
---
update_config.sh | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/update_config.sh b/update_config.sh
index d39ad0d..7a8c5fb 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
--
GitLab