From: Stefano Stabellini Date: Tue, 21 Apr 2015 15:42:33 +0000 (+0000) Subject: raisin: remove duplicate source config in raise X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=a89ee46efec44f2103e14474e6dda16e98538069;p=raisin.git raisin: remove duplicate source config in raise Signed-off-by: Stefano Stabellini Acked-by: George Dunlap --- diff --git a/raise b/raise index bce6908..68dbfd8 100755 --- a/raise +++ b/raise @@ -17,9 +17,12 @@ _help() { } # Include your defaults -if [[ -e "./config" ]] ; then - . ./config +if [[ ! -e "./config" ]] +then + echo "No config file found, copying default config" + cp defconfig config fi +source ./config # To use this as a library, set RAISIN_PATH appropriately [[ -z "$RAISIN_PATH" ]] && RAISIN_PATH="$PWD/lib" @@ -29,14 +32,6 @@ source ${RAISIN_PATH}/common-functions.sh source ${RAISIN_PATH}/git-checkout.sh source ${RAISIN_PATH}/commands.sh -# Include your defaults -if [[ ! -e "./config" ]] ; then - echo "No config file found, copying default config" - cp defconfig config -fi - -source ./config - # Set up basic functionality common_init