summaryrefslogtreecommitdiff
path: root/passes/equiv/Makefile.inc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2015-10-21 17:12:35 +0200
committerClifford Wolf <clifford@clifford.at>2015-10-21 17:12:35 +0200
commit00e05b131092c3e8343ee4e4a2e6b863fc15f416 (patch)
treee214721a4aa90ee17d7d9cf185229759ec61cf78 /passes/equiv/Makefile.inc
parent6416dfee9380c03f9391784d885caebfed0072b4 (diff)
Added equiv_struct command
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 548eaca3..d5bb9495 100644
--- a/passes/equiv/Makefile.inc
+++ b/passes/equiv/Makefile.inc
@@ -6,4 +6,5 @@ OBJS += passes/equiv/equiv_status.o
OBJS += passes/equiv/equiv_add.o
OBJS += passes/equiv/equiv_remove.o
OBJS += passes/equiv/equiv_induct.o
+OBJS += passes/equiv/equiv_struct.o