servo: Merge #10923 - Remove dir by shutil.rmtree, remove file by os.remove (from askeing:fix_10922); r=jdm

fix #10922

Source-Repo: https://github.com/servo/servo
Source-Revision: 491b5ff47e392f37cb636bbbdeecf5cd6254b401

servo/python/servo/bootstrap_commands.py

@@ -319,7 +319,10 @@ class MachCommands(CommandBase):
                     name = path.join(base, name)
                     if force:
                         print("Removing " + name)
-                        shutil.rmtree(name)
+                        if os.path.isdir(name):
+                            shutil.rmtree(name)
+                        else:
+                            os.remove(name)
                     else:
                         print("Would remove " + name)
         if not removing_anything: