diff options
Diffstat (limited to 'codegen/createdefs.py')
-rwxr-xr-x | codegen/createdefs.py | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/codegen/createdefs.py b/codegen/createdefs.py deleted file mode 100755 index 84d50b1..0000000 --- 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)) |