mirror of
https://github.com/nasa/trick.git
synced 2024-12-23 15:02:25 +00:00
a11e51cce7
When I added the "tee" commands to split off command outputs to a file and the screen, I forgot that the exit status of the make commands takes the exit status of "tee" which does not ususally have an error and masks any error in the actual compilation. I added an exit ${PIPESTATUS[0]} which returns the exit status of the compilation. |
||
---|---|---|
.. | ||
Interface_Code_Gen |