From 83218044f5a61081fd80e8242969efae63c75e99 Mon Sep 17 00:00:00 2001
From: tangxifan <tangxifan@gmail.com>
Date: Wed, 10 May 2023 16:05:24 +0800
Subject: [PATCH] [script] debugging

---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index e9b5d808f..abb6e0760 100644
--- a/Makefile
+++ b/Makefile
@@ -79,8 +79,9 @@ list_cmake_targets: | prebuild
 # Show the targets available to be built, which can be specified through ``CMAKE_GOALS`` when compile
 	cd ${BUILD_DIR} && make help && cd -
 
-all: | checkout compile
+all: checkout
 # A shortcut command to run checkout and compile in serial
+	@+${MAKE} compile
 
 format-cpp:
 # Format all the C/C++ files under this project, excluding submodules