From 0f7c59b8fe732a415d7b67febd82fee71af9e935 Mon Sep 17 00:00:00 2001 From: Amos Jeffries Date: Sun, 15 Nov 2009 00:42:21 +1300 Subject: [PATCH] Author: Francesco Chemolli Portability fix: non-GNU diff is not guarranteed to handle the -q switch --- scripts/remove-cfg.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/remove-cfg.sh b/scripts/remove-cfg.sh index 7b5905fd06..f3e997c7c2 100644 --- a/scripts/remove-cfg.sh +++ b/scripts/remove-cfg.sh @@ -18,7 +18,7 @@ fi if test -f $prime then # is the primary config identical to the default? - if diff -q $default $prime > /dev/null + if diff $default $prime > /dev/null then echo " $remover -f $prime"; $remover -f $prime; -- 2.47.3