Changes in tools/dest_build.py [0a0b3d8:a35b458] in mainline

File:

• tools/dest_build.py (modified) (4 diffs)

tools/dest_build.py

@@ -42 +42 @@
 def duplicate_tree(src_path, dest_path, current):
         "Duplicate source directory tree in the destination path"
-        
+
         for name in os.listdir(os.path.join(src_path, current)):
                 if name in exclude_names:
                         next
-                
+
                 following = os.path.join(current, name)
                 src = os.path.join(src_path, following)
@@ -52 +52 @@
                 dest_parent = os.path.join(dest_path, current)
                 dest_stat = os.stat(src)
-                
+
                 # Create shadow directories
                 if stat.S_ISDIR(dest_stat.st_mode):
                         if not os.path.exists(dest):
                                 os.mkdir(dest)
-                        
+
                         if not os.path.isdir(dest):
                                 raise IOError(errno.ENOTDIR, "Destination path exists, but is not a directory", dest)
-                        
+
                         duplicate_tree(src_path, dest_path, following)
                 else:
                         # Compute the relative path from destination to source
                         relative = os.path.relpath(src, dest_parent)
-                        
+
                         # Create symlink
                         if not os.path.exists(dest):
@@ -78 +78 @@
                 usage(sys.argv[0])
                 return 1
-        
+
         # Source tree path
         src_path = os.path.abspath(sys.argv[1])
@@ -84 +84 @@
                 print("<SRC_PATH> must be a directory")
                 return 2
-        
+
         # Destination tree path
         dest_path = os.path.abspath(sys.argv[2])
         if not os.path.exists(dest_path):
                 os.mkdir(dest_path)
-        
+
         if not os.path.isdir(dest_path):
                 print("<DEST_PATH> must be a directory")
                 return 3
-        
+
         # Duplicate source directory tree
         duplicate_tree(src_path, dest_path, "")
-        
+
         # Run the build from the destination tree
         os.chdir(dest_path)
         args = ["make"]
         args.extend(sys.argv[3:])
-        
+
         return subprocess.Popen(args).wait()