diff options
Diffstat (limited to 'passes/techmap/Makefile.inc')
-rw-r--r-- | passes/techmap/Makefile.inc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/passes/techmap/Makefile.inc b/passes/techmap/Makefile.inc index f1c987cc..af4816a7 100644 --- a/passes/techmap/Makefile.inc +++ b/passes/techmap/Makefile.inc @@ -19,6 +19,7 @@ OBJS += passes/techmap/dffinit.o OBJS += passes/techmap/pmuxtree.o OBJS += passes/techmap/muxcover.o OBJS += passes/techmap/aigmap.o +OBJS += passes/techmap/tribuf.o endif GENFILES += passes/techmap/techmap.inc |