Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Log
make -q
command lines the outcome file
As a debugging help, log the `make` command line in the outcome file. This is not accurate if a command line argument contains some special characters, but good enough to help debugging. Hopefully this will only be temporary. Signed-off-by: Gilles Peskine <[email protected]>
- Loading branch information