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 /Makefile | |
| parent | b645fcd241a81ac0ae98f85f0f1a6293d968a836 (diff) | |
Restore refresh target.
PiperOrigin-RevId: 347864621
Diffstat (limited to 'Makefile')
| -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) |