diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-02-13 14:34:51 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-02-13 14:34:51 +0100 |
| commit | 04cb947d6a35b3773e694651971f28cbf83952e9 (patch) | |
| tree | 368761c1738878d40cb171a024f065f768b89b13 /passes/cmds/Makefile.inc | |
| parent | cd919abdf1177ddd5148fbf236201ce5e649ead0 (diff) | |
Added "check" command
Diffstat (limited to 'passes/cmds/Makefile.inc')
| -rw-r--r-- | passes/cmds/Makefile.inc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/passes/cmds/Makefile.inc b/passes/cmds/Makefile.inc index 0e62abbc..e4b40c41 100644 --- a/passes/cmds/Makefile.inc +++ b/passes/cmds/Makefile.inc @@ -21,4 +21,5 @@ OBJS += passes/cmds/connwrappers.o OBJS += passes/cmds/cover.o OBJS += passes/cmds/trace.o OBJS += passes/cmds/plugin.o +OBJS += passes/cmds/check.o |