add default: build to Makefile

runtimeverification · Jan 13, 2025 · 60b9c4e · 60b9c4e
1 parent 226c2bd
commit 60b9c4e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -24,6 +24,8 @@ ifeq (${TARGET}, release)
 RELEASE_FLAG=--release
 endif
 
+default: build
+
 build_all: rust_build rust_set_toolchain build
 
 setup: rust_clone