mirror of
https://github.com/nasa/trick.git
synced 2025-01-31 08:25:41 +00:00
2b241acc0f
Redirected the output of ICG and other commands in the top level makefile to build/MAKE_out. Moved the command that removes the MAKE_out file to where it will only be executed once when the make process starts.