diff options
| author | Andrew Waterman | 2016-08-08 12:28:21 -0700 |
|---|---|---|
| committer | Andrew Waterman | 2016-08-08 12:28:21 -0700 |
| commit | c7a97719e9de236d569a0e40abd5a3cd122dd5a5 (patch) | |
| tree | efac79ae9eb27ebefacc1fae2bae1a3f0f5ffc21 /src/test/resources/blackboxes/SimpleExtModule.v | |
| parent | fa0573f657f722b1a163ce721f06172a1a9782c2 (diff) | |
Don't create output files until the compiler succeeds
Creating the output file preemptively screws up make, as on
subsequent executions of make, it thinks the task succeeded.
Diffstat (limited to 'src/test/resources/blackboxes/SimpleExtModule.v')
0 files changed, 0 insertions, 0 deletions