summaryrefslogtreecommitdiff
path: root/codegen/createdefs.py
diff options
context:
space:
mode:
Diffstat (limited to 'codegen/createdefs.py')
-rw-r--r--codegen/createdefs.py17
1 files changed, 0 insertions, 17 deletions
diff --git a/codegen/createdefs.py b/codegen/createdefs.py
deleted file mode 100644
index 84d50b19..00000000
--- a/codegen/createdefs.py
+++ /dev/null
@@ -1,17 +0,0 @@
-#!/usr/bin/env python
-import sys
-
-def main(args):
- output = args[1]
- input = args[2:]
- outfd = open(output, 'w')
- outfd.write(';; -*- scheme -*-\n')
- outfd.write(';; THIS FILE IS GENERATED - DO NOT EDIT\n')
- for filename in input:
- outfd.write('(include "%s")\n' % filename)
- outfd.close()
-
- return 0
-
-if __name__ == '__main__':
- sys.exit(main(sys.argv))