install.py

changeset 3595
a8433c7a0d8c
parent 3594
778ae276540f
child 3596
f98e1946c74f
--- a/install.py	Sun May 18 19:48:23 2014 +0200
+++ b/install.py	Sun May 18 19:50:05 2014 +0200
@@ -368,8 +368,8 @@
         name = os.path.join(dirName, name)
         if os.path.isdir(name):
             cleanupSource(name)
-        if len(os.listdir(name)) == 0:
-            os.rmdir(name)
+            if len(os.listdir(name)) == 0:
+                os.rmdir(name)
 
 
 def cleanUp():

eric ide

mercurial