From f7def26ba5a40fe4e070a3228abdb97d462f8891 Mon Sep 17 00:00:00 2001
From: Minseong Jang <minseong.jang@cp.kaist.ac.kr>
Date: Thu, 2 Jun 2022 14:33:56 +0900
Subject: [PATCH] Update bench

---
 bench/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bench/Makefile b/bench/Makefile
index ab471fa..7cd5c11 100644
--- a/bench/Makefile
+++ b/bench/Makefile
@@ -26,7 +26,7 @@ driver.o: $(SRCS) driver.cpp
 	$(CXX) $(CFLAGS) -fsigned-char -o driver.o -c -I. driver.cpp
 
 %.s: %.c $(KECC)
-	($(KECC) -O $< >$@) || (rm $@ -rf; exit 1)
+	($(KECC) -O $< -o $@) || (rm $@ -rf; exit 1)
 
 %.o: %.c
 	($(CC) -O -fsigned-char -c $< -o $@) || (rm $@ -rf; exit 1)