diff options
| -rw-r--r-- | Makefile | 4 | ||||
| -rwxr-xr-x | build-shadow-tree.py | 16 |
2 files changed, 14 insertions, 6 deletions
@@ -58,9 +58,7 @@ sandblast: clean firmware: shadow ${FIRMWARE_TARBALL} -shadow: build - -build: +shadow: ./build-shadow-tree.py ${FIRMWARE_TARBALL}: ${BITSTREAM} $(sort ${ELVES} ${ELVES:.elf=.bin}) diff --git a/build-shadow-tree.py b/build-shadow-tree.py index e86ba85..378797f 100755 --- a/build-shadow-tree.py +++ b/build-shadow-tree.py @@ -17,14 +17,16 @@ import os source_root = "source" build_root = "build" -os.mkdir(build_root) +if not os.path.isdir(build_root): + os.mkdir(build_root) for source_head, dirs, files in os.walk(source_root): build_head = build_root + source_head[len(source_root):] for dn in dirs: d = os.path.join(build_head, dn) - os.mkdir(d) + if not os.path.isdir(d): + os.mkdir(d) for fn in files: if fn == ".git": @@ -33,4 +35,12 @@ for source_head, dirs, files in os.walk(source_root): s = os.path.join(source_head, fn) s = os.path.abspath(s) s = os.path.relpath(s, build_head) - os.symlink(s, d) + if not os.path.islink(d): + os.symlink(s, d) + + for extra in set(os.listdir(build_head)) - set(dirs) - set(files): + d = os.path.join(build_head, extra) + if os.path.islink(d): + os.unlink(d) + elif os.path.isdir(d) and not os.listdir(d): + os.rmdir(d) |