From 7da25e6dc3095378ecaf292759ef84b656a306b8 Mon Sep 17 00:00:00 2001 From: Adin Scannell Date: Wed, 16 Dec 2020 11:42:58 -0800 Subject: [PATCH] Restore refresh target. PiperOrigin-RevId: 347864621 --- Makefile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Makefile b/Makefile index 334b93829..8565102b3 100644 --- a/Makefile +++ b/Makefile @@ -132,6 +132,9 @@ configure = $(call configure_noreload,$(1),$(2)) && $(reload_docker) install_runtime = $(call configure,$(RUNTIME),$(1) --TESTONLY-test-name-env=RUNSC_TEST_NAME) test_runtime = $(call test,--test_arg=--runtime=$(RUNTIME) $(PARTITIONS) $(1)) +refresh: $(RUNTIME_BIN) ## Updates the runtime binary. +.PHONY: refresh + dev: $(RUNTIME_BIN) ## Installs a set of local runtimes. Requires sudo. @$(call configure_noreload,$(RUNTIME),--net-raw) @$(call configure_noreload,$(RUNTIME)-d,--net-raw --debug --strace --log-packets)