From 5146cb726a4bd7965b1dc26bcfd4ce75cbb734d9 Mon Sep 17 00:00:00 2001
From: Boming Zhang <bomingzh@sjtu.edu.cn>
Date: Thu, 26 Sep 2024 03:47:57 -0400
Subject: [PATCH] fix: only copy joj3 to bin

---
 JOJ3     | 2 +-
 Makefile | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/JOJ3 b/JOJ3
index 1bb0ddd..7ce4d29 160000
--- a/JOJ3
+++ b/JOJ3
@@ -1 +1 @@
-Subproject commit 1bb0ddd253092895405d02e66ff089743735c941
+Subproject commit 7ce4d29d0e371d24b8f8c63290ae7f6f04279eda
diff --git a/Makefile b/Makefile
index 31e3ea5..0ecc856 100644
--- a/Makefile
+++ b/Makefile
@@ -5,7 +5,7 @@ all: build
 build:
 	git submodule update --init --remote
 	$(MAKE) -C JOJ3
-	cp JOJ3/build/* bin/
+	cp JOJ3/build/joj3 bin/
 	docker build -t focs.ji.sjtu.edu.cn:5000/gitea/runner-images:focs-ubuntu-latest-slim .
 
 push: