From 580364362cd85eb60369a322714b105f9e2e1709 Mon Sep 17 00:00:00 2001 From: Xiang Xiao Date: Fri, 20 Mar 2020 12:14:26 +0800 Subject: [PATCH] tools/refresh.sh: Support passing the multiple configuration Signed-off-by: Xiang Xiao Change-Id: Id3d4464e2d30871763b40067b3162b793e99c98f --- tools/README.txt | 2 +- tools/refresh.sh | 11 +++++------ 2 files changed, 6 insertions(+), 7 deletions(-) diff --git a/tools/README.txt b/tools/README.txt index dfee90fbb5..c5aa36e9c7 100644 --- a/tools/README.txt +++ b/tools/README.txt @@ -856,7 +856,7 @@ refresh.sh $ tools/refresh.sh --help tools/refresh.sh is a tool for refreshing board configurations - USAGE: ./refresh.sh [options] / + USAGE: ./refresh.sh [options] /+ Where [options] include: --debug diff --git a/tools/refresh.sh b/tools/refresh.sh index 14a9a6ee5d..9dda1dc674 100755 --- a/tools/refresh.sh +++ b/tools/refresh.sh @@ -34,7 +34,7 @@ WD=`test -d ${0%/*} && cd ${0%/*}; pwd` -USAGE="USAGE: $0 [options] :" +USAGE="USAGE: $0 [options] :+" ADVICE="Try '$0 --help' for more information" unset CONFIGS @@ -47,7 +47,6 @@ while [ ! -z "$1" ]; do case $1 in --debug ) debug=y - set -x ;; --silent ) defaults=y @@ -90,7 +89,7 @@ while [ ! -z "$1" ]; do exit 0 ;; * ) - CONFIGS=$1 + CONFIGS=$* break ;; esac @@ -238,13 +237,13 @@ for CONFIG in ${CONFIGS}; do if [ "X${debug}" = "Xy" ]; then make olddefconfig V=1 else - make olddefconfig 1>/dev/null 2>&1 + make olddefconfig 1>/dev/null fi else if [ "X${debug}" = "Xy" ]; then make oldconfig V=1 else - make oldconfig + make oldconfig 1>/dev/null fi fi fi @@ -254,7 +253,7 @@ for CONFIG in ${CONFIGS}; do if [ "X${debug}" = "Xy" ]; then make savedefconfig V=1 else - make savedefconfig 1>/dev/null 2>&1 + make savedefconfig 1>/dev/null fi # Save the refreshed configuration