chiark / gitweb /
Make build directories under build/ subdir.
authorPaul Sokolovsky <pfalcon@users.sourceforge.net>
Thu, 16 Jun 2011 21:13:22 +0000 (00:13 +0300)
committerPaul Sokolovsky <pfalcon@users.sourceforge.net>
Thu, 16 Jun 2011 21:40:10 +0000 (00:40 +0300)
Otherwise, top-level dir gets very crowded.

build.py

index 8621fc06bc34655877cb506722764bc3daa25b2c..0e6169b6f5c5619cb03d7277672c059617ed92d0 100755 (executable)
--- a/build.py
+++ b/build.py
@@ -56,6 +56,9 @@ if options.clean:
 if not os.path.exists(built_dir):
     os.mkdir(built_dir)
 
+if not os.path.isdir('build'):
+    os.makedirs('build')
+
 for app in apps:
 
     if app['disabled']:
@@ -69,7 +72,7 @@ for app in apps:
 
         print "Processing " + app['id']
 
-        build_dir = 'build_' + app['id']
+        build_dir = 'build/' + app['id']
 
         got_source = False