12345678910111213141516171819202122 |
- #! /usr/bin/env python
- # -*- coding: UTF-8 -*-
- import sys, os
- #----------------------------------------------------------------------------------------------------------------------*
- separator = "//" + ("—" * 118) + "\n"
- #------------------------------ Destination file
- destinationFile = sys.argv [1]
- # print ("Dest " + destinationFile)
- #------------------------------ Header files
- s = separator + "\n"
- for i in range (2, len (sys.argv)):
- s += "#include \"" + sys.argv [i] + "\"\n"
- s += "\n" + separator
- #------------------------------ Write destination file
- f = open (destinationFile, "wt")
- f.write (s)
- f.close()
- #----------------------------------------------------------------------------------------------------------------------*
|