# make sure input files are unique
sources = sorted(set(sys.argv[3:]))
with open (OUTPUT, "wb") as f:
f.write ("".join ('#include "{}"\n'.format (os.path.relpath (os.path.abspath (x), CURRENT_SOURCE_DIR)) for x in sources if x.endswith (".cc")).encode ())
# copy it also to the source tree, but only if it has changed
baseline_filename = os.path.join (CURRENT_SOURCE_DIR, os.path.basename (OUTPUT)) with open(baseline_filename, "rb") as baseline: with open(OUTPUT, "rb") as generated: if baseline.read() != generated.read():
shutil.copyfile (OUTPUT, baseline_filename)
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.