diff options
author | Adin Scannell <ascannell@google.com> | 2020-12-16 11:42:58 -0800 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2020-12-16 11:45:28 -0800 |
commit | 7da25e6dc3095378ecaf292759ef84b656a306b8 (patch) | |
tree | 47bbd177a72da878d0d528101f5df8c084c9d55f | |
parent | b645fcd241a81ac0ae98f85f0f1a6293d968a836 (diff) |
Restore refresh target.
PiperOrigin-RevId: 347864621
-rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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) |