From d5e5bbad861975761c87a77388ce7add7bd1bdea Mon Sep 17 00:00:00 2001 From: Andrew Zonenberg Date: Mon, 14 Aug 2017 11:04:56 -0700 Subject: [PATCH] Updated Makefile to reflect opt_rmports being renamed to rmports --- passes/opt/Makefile.inc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/passes/opt/Makefile.inc b/passes/opt/Makefile.inc index 7d54adf0f..a145cf946 100644 --- a/passes/opt/Makefile.inc +++ b/passes/opt/Makefile.inc @@ -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 -- 2.30.2