| Patrick Williams | c124f4f | 2015-09-15 14:41:29 -0500 | [diff] [blame] | 1 | #!/bin/sh |
| Patrick Williams | c0f7c04 | 2017-02-23 20:41:17 -0600 | [diff] [blame^] | 2 | # Without --ignore-exit, the tap harness causes any FAILs within a |
| 3 | # test plan to raise ERRORs; this is just noise. | ||||
| 4 | makeargs="LOG_DRIVER_FLAGS=--ignore-exit" | ||||
| 5 | make -t all >/dev/null 2>&1 && exec make -s $makeargs check 2>/dev/null | ||||