mirror of
https://github.com/nasa/trick.git
synced 2025-06-01 15:10:59 +00:00
Added echos to all compile commands to append to MAKE_out. tee'd the output of the compile command so that it will go to both the MAKE_out file and the screen.