From 3985a98da720ee0083789e44a2f2aaf9b21991a0 Mon Sep 17 00:00:00 2001 From: Philip Eisenlohr Date: Wed, 15 Jun 2011 16:40:34 +0000 Subject: [PATCH] changed default to "no clean". if clean-up required, use '--clean' option! --- code/setup/setup_code.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/code/setup/setup_code.py b/code/setup/setup_code.py index 9f8f0efbc..54c6dc5e1 100755 --- a/code/setup/setup_code.py +++ b/code/setup/setup_code.py @@ -31,5 +31,5 @@ for arch in architectures: os.system('make --directory %s'%wd) -if not '--noclean' in [s.lower() for s in sys.argv]: +if '--clean' in [s.lower() for s in sys.argv]: os.system('make --directory %s clean'%wd)