summaryrefslogtreecommitdiff
path: root/lab
diff options
context:
space:
mode:
Diffstat (limited to 'lab')
-rw-r--r--lab/treetopy.sh6
1 files changed, 6 insertions, 0 deletions
diff --git a/lab/treetopy.sh b/lab/treetopy.sh
new file mode 100644
index 00000000..2dcf1cac
--- /dev/null
+++ b/lab/treetopy.sh
@@ -0,0 +1,6 @@
+# Turn a tree of Python files into a series of make_file calls.
+for f in **/*.py; do
+ echo 'make_file("'$1$f'", """\\'
+ sed -e 's/^/ /' <$f
+ echo ' """)'
+done