diff --git a/Makefile b/Makefile
index 50b33fe2f..28a534549 100644
--- a/Makefile
+++ b/Makefile
@@ -109,6 +109,8 @@ compile:
 	$(MAKE) compile-frontend
 	$(MAKE) compile-backend
 
+compile-%: --develop
+
 .PHONY: lint
 # HELP: lint frontend and backend
 lint: lint-frontend lint-backend;