From 22c8569f53fbb3117aa2226ac1890ebf044600f2 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Tue, 26 Aug 2014 00:46:28 +0200 Subject: [PATCH] Using own stagefile for init. --- components/init | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/components/init b/components/init index 639ada82d..d9687063f 100755 --- a/components/init +++ b/components/init @@ -242,7 +242,7 @@ def main(): ## Creating configuration directory # stagefile - if os.path.isdir('.build'): + if os.path.exists('.build/init'): if verbose: print('I: configuration directory already initialized - nothing to do') @@ -514,6 +514,7 @@ def main(): ## stagefile os.makedirs('.build', exist_ok=True) + open('.build/init', 'w').close() if __name__ == '__main__':