[tools] remove temp dir before making headers

rogerwang · rogerwang · commit d636bd261575 · 2020-01-10T23:44:37.000-07:00
diff --git a/tools/make-nw-headers.py b/tools/make-nw-headers.py
@@ -49,9 +49,9 @@ def update_uvh(tmp_dir, header_files):
 
 #make tmpdir
 if os.path.exists(tmp_dir):
-  pass
-else:
-  os.mkdir(tmp_dir)
+  shutil.rmtree(tmp_dir)
+
+os.mkdir(tmp_dir)
 
 # prepare the files to compress
 print 'Begin copy file'
