12345678910111213141516171819202122 |
- import sys, os
- separator = "//" + ("—" * 118) + "\n"
- destinationFile = sys.argv [1]
- s = separator + "\n"
- for i in range (2, len (sys.argv)):
- s += "#include \"" + sys.argv [i] + "\"\n"
- s += "\n" + separator
- f = open (destinationFile, "wt")
- f.write (s)
- f.close()
|