From bd7eaee6e54ebc99c656f25da50b07be64190c3a Mon Sep 17 00:00:00 2001
From: Jerry Zhao <jerryz123@berkeley.edu>
Date: Wed, 27 Sep 2023 11:09:39 -0700
Subject: [PATCH] Remove git-submodule-init make target

---
 Makefile | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/Makefile b/Makefile
index 63fd668..a3d05ce 100644
--- a/Makefile
+++ b/Makefile
@@ -41,9 +41,6 @@ endif
 
 all: compile-stage2
 
-git-submodule-init:
-	git submodule update --init
-
 build: build-generator build-merger
 
 build-generator:
@@ -60,7 +57,7 @@ build-patcher-spike: pspike/pspike.cc
 unittest:
 	go test ./...
 
-generate-stage1: clean-out git-submodule-init build
+generate-stage1: clean-out build
 	@mkdir -p ${OUTPUT_STAGE1}
 	build/generator -VLEN ${VLEN} -XLEN ${XLEN} -split=${SPLIT} -integer=${INTEGER} -stage1output ${OUTPUT_STAGE1} -configs ${CONFIGS}
 
@@ -105,7 +102,6 @@ clean: clean-out
 	rm -rf build/
 
 .PHONY: all \
-		git-submodule-init \
 		build build-generator unittest \
 		generate-stage1 compile-stage1 $(tests) \
 		$(tests_patch) generate-stage2 compile-stage2 $(tests_stage2) \