History | View | Annotate | Download (15.2 KB)
Incremented the year in all according files to 2018.
Bash scripts slightly enhanced: When passing --LOG option no separator is printed to log file.
Bash scripts: Modified the --help argument is now parsed before --log.
Minor visual enhancements to the bash scripts.
Further enhancements to the bash scripts.Additional scripts for compiler configuration have been added.