From 15f1463360071be502c5a475cf7594e84b3b2ff9 Mon Sep 17 00:00:00 2001
From: j <0x006A@0x2620.org>
Date: Tue, 29 May 2012 11:35:06 +0200
Subject: [PATCH] cleanup dev tree after build, fixes #806

---
 tools/build/build.py | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/tools/build/build.py b/tools/build/build.py
index da841598..d0bfd87c 100755
--- a/tools/build/build.py
+++ b/tools/build/build.py
@@ -85,7 +85,13 @@ def build_oxjs(downloads=False, geo=False):
                 link_target = target.replace(build_path, dev_path)
                 if not is_jquery_min:
                     write_link(link_source, link_target)
-
+    # remove dangling links from dev tree that might
+    # be left over from renames or removed files
+    for path, dirnames, filenames in os.walk(dev_path):
+        for f in filenames:
+            f = os.path.join(path, f)
+            if os.path.islink(f) and not os.path.exists(f):
+                os.unlink(f)
     # Ox.js
     filenames = [
         [