diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-10-22 15:40:27 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-10-22 15:40:27 +0200 |
| commit | 84a07ffb8a9eef2137d858802c5e7cce343fb53e (patch) | |
| tree | 7716ae8a936ee7e29908456e8f635d50880a3f85 /passes/equiv/Makefile.inc | |
| parent | 00e05b131092c3e8343ee4e4a2e6b863fc15f416 (diff) | |
Added equiv_purge
Diffstat (limited to 'passes/equiv/Makefile.inc')
| -rw-r--r-- | passes/equiv/Makefile.inc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/passes/equiv/Makefile.inc b/passes/equiv/Makefile.inc index d5bb9495..4d615742 100644 --- a/passes/equiv/Makefile.inc +++ b/passes/equiv/Makefile.inc @@ -7,4 +7,5 @@ OBJS += passes/equiv/equiv_add.o OBJS += passes/equiv/equiv_remove.o OBJS += passes/equiv/equiv_induct.o OBJS += passes/equiv/equiv_struct.o +OBJS += passes/equiv/equiv_purge.o |