diff --git a/common.mk b/common.mk index ce4ee2af..431238d7 100644 --- a/common.mk +++ b/common.mk @@ -96,16 +96,6 @@ TAPEOUT_VLOG_SOURCES = $(call lookup_srcs_by_multiple_type,$(TAPEOUT_SOURCE_DIRS SBT_SOURCE_DIRS = $(addprefix $(base_dir)/,generators tools) SBT_SOURCES = $(call lookup_srcs,$(SBT_SOURCE_DIRS),sbt) $(base_dir)/build.sbt $(base_dir)/project/plugins.sbt $(base_dir)/project/build.properties -######################################################################################### -# SBT Server Setup (start server / rebuild proj. defs. if SBT_SOURCES change) -######################################################################################### -$(SBT_THIN_CLIENT_TIMESTAMP): $(SBT_SOURCES) -ifneq (,$(wildcard $(SBT_THIN_CLIENT_TIMESTAMP))) - cd $(base_dir) && $(SBT) "reload" - touch $@ -else - cd $(base_dir) && $(SBT) "exit" -endif ######################################################################################### # copy over bootrom files