diff --git a/lib/utils.py b/lib/utils.py
index 1a8b185dfcb460e66ca462532b3634e558eba48f..2ccc38707b30ab91864fd9d5f0ad297940e01423 100644
--- a/lib/utils.py
+++ b/lib/utils.py
@@ -381,6 +381,24 @@ def RemoveFile(filename):
       raise
 
 
+def RemoveDir(dirname):
+  """Remove an empty directory.
+
+  Remove a directory, ignoring non-existing ones.
+  Other errors are passed. This includes the case,
+  where the directory is not empty, so it can't be removed.
+
+  @type dirname: str
+  @param dirname: the empty directory to be removed
+
+  """
+  try:
+    os.rmdir(dirname)
+  except OSError, err:
+    if err.errno != errno.ENOENT:
+      raise
+
+
 def RenameFile(old, new, mkdir=False, mkdir_mode=0750):
   """Renames a file.