make: remove shell target

The shell is built by default, so this target doesn't make sense.
kuzudb · Dec 5, 2023 · e71beed · e71beed
1 parent 86b82d4
commit e71beed
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/Makefile b/Makefile
@@ -148,9 +148,6 @@ benchmark:
 example:
 	$(call run-cmake-release, -DBUILD_EXAMPLES=TRUE)
 
-shell:
-	$(call run-cmake-release, -DBUILD_SHELL=TRUE)
-
 
 # Clang-related tools and checks