#608 Add clean_build_output.py script to clean up build output files.
- The script is not general, but practically works well for Eclipse ESCET.
- The script allows to clean any number of input files.
- The script writes the cleaned files to new files. This allows to use any comparison tool to compare the files. For instance, I use KDiff3, which also compares within the lines, to get fewer diffs than plain
diff
.
Closes #608 (closed)