summaryrefslogtreecommitdiff
path: root/passes/equiv/Makefile.inc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2015-10-22 15:40:27 +0200
committerClifford Wolf <clifford@clifford.at>2015-10-22 15:40:27 +0200
commit84a07ffb8a9eef2137d858802c5e7cce343fb53e (patch)
tree7716ae8a936ee7e29908456e8f635d50880a3f85 /passes/equiv/Makefile.inc
parent00e05b131092c3e8343ee4e4a2e6b863fc15f416 (diff)
Added equiv_purge
Diffstat (limited to 'passes/equiv/Makefile.inc')
-rw-r--r--passes/equiv/Makefile.inc1
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