From 6bfe735d12cd6a72483c7999a09dc8c11044c562 Mon Sep 17 00:00:00 2001 From: Michael Wagner Date: Mon, 7 Mar 2016 17:03:44 +0100 Subject: [PATCH] posaune --- tools/make/configure | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/tools/make/configure b/tools/make/configure index b44b5c8..ab65ab1 100755 --- a/tools/make/configure +++ b/tools/make/configure @@ -49,23 +49,23 @@ then fi # clean src tree and check out -#if [ -e src ] -#then -# rm -rf src -#fi +if [ -e src ] +then + rm -rf src +fi if [ -e $paket ] then rm -rf $paket fi rm *.stamp || true -#mkdir -p src +mkdir -p src cwd=$(pwd) # checkout -#pushd src -#../$paket.co $build -#popd +pushd src +../$paket.co $build +popd # copy package control control=$(find src -name $paket.control) -- 2.20.1