changeset 45 | 532107bb1271 |
parent 22 | 1e693446d663 |
--- a/generate-autoconf.py Tue Feb 01 13:31:43 2011 +0100 +++ b/generate-autoconf.py Wed May 18 00:02:42 2011 +0200 @@ -18,4 +18,6 @@ writing.write('#define ' + left + ' ' + right + '\n') import sys -autoconf_header (sys.stdin, sys.stdout) +f = open(sys.argv[1], 'r') +autoconf_header (f, sys.stdout) +f.close()