Initial revision

1 files changed, 20 insertions, 0 deletions

diff --git a/Demo/scripts/makedir.py b/Demo/scripts/makedir.py
new file mode 100755
index 0000000..b08e455
--- /dev/null
+++ b/Demo/scripts/makedir.py
@@ -0,0 +1,20 @@
+#! /usr/local/python
+
+# Like mkdir, but also make intermediate directories if necessary.
+# It is not an error if the given directory already exists (as long
+# as it is a directory).
+# Errors are not treated specially -- you just get a Python exception.
+
+import sys, os
+
+def main():
+	for p in sys.argv[1:]:
+		makedirs(p)
+
+def makedirs(p):
+	if not os.path.isdir(p):
+		head, tail = os.path.split(p)
+		makedirs(head)
+		os.mkdir(p, 0777)
+
+main()