From 64df31cf25fa00bc02cb5d700dd17ca8625da0f1 Mon Sep 17 00:00:00 2001 From: Mirko Vogt Date: Fri, 13 Aug 2010 11:08:35 +0000 Subject: [PATCH] use feeds.conf.default if no feeds.conf file exists --- scripts/build | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/scripts/build b/scripts/build index ddf84585e..2d620b8c2 100755 --- a/scripts/build +++ b/scripts/build @@ -10,6 +10,9 @@ DATE=$(date "+%Y-%m-%d") TIME=$(date "+%H-%M-%S") DATE_TIME="${DATE}_${TIME}" +FEEDS_CONF="feeds.conf.default" +test -f "feeds.conf" && FEEDS_CONF="feeds.conf" + if [ "${0}" != "./scripts/build" ]; then echo "Please call me that way: ./scripts/build" echo " - out of the main directory" @@ -75,7 +78,7 @@ if [ "$?" != "0" ]; then fi echo "getting version numbers of used repositories..." -feeds="$(cat feeds.conf | grep -v -E "^#")" +feeds="$(cat "${FEEDS_CONF}" | grep -v -E "^#")" VERSIONS_FILE="xburst/VERSIONS" echo "# base :: 'openwrt' [scm-protocol] [revision] [source] [branch]" > ${VERSIONS_FILE} tmp=($(git show-ref | head -n 1))