Skip to content

Commit

Permalink
Updated Makefile to reflect opt_rmports being renamed to rmports
Browse files Browse the repository at this point in the history
azonenberg committed Aug 14, 2017
1 parent 1a6a23f commit d5e5bba
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion passes/opt/Makefile.inc
Original file line number Diff line number Diff line change
@@ -6,7 +6,7 @@ OBJS += passes/opt/opt_reduce.o
OBJS += passes/opt/opt_rmdff.o
OBJS += passes/opt/opt_clean.o
OBJS += passes/opt/opt_expr.o
OBJS += passes/opt/opt_rmports.o
OBJS += passes/opt/rmports.o

ifneq ($(SMALL),1)
OBJS += passes/opt/share.o

0 comments on commit d5e5bba

Please sign in to comment.