diff options
| author | Devaev Maxim <[email protected]> | 2018-07-01 02:16:10 +0300 |
|---|---|---|
| committer | Devaev Maxim <[email protected]> | 2018-07-01 02:16:10 +0300 |
| commit | 61603c4f7b5834cba01a6ee807f637f443d286dd (patch) | |
| tree | 77aa2ebbf06426046b18d17e89ee5c79d0e3ee93 /os | |
| parent | ef8b496d474dac178e3891fd54fef74b302b67d0 (diff) | |
fixed build v1
Diffstat (limited to 'os')
| -rw-r--r-- | os/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/os/Makefile b/os/Makefile index 2ea1c0b1..f2696448 100644 --- a/os/Makefile +++ b/os/Makefile @@ -2,7 +2,7 @@ all: cat Makefile v1: - make _pikvm PIKVM=v1 + make _pikvm PIKVM_PLATFORM=v1 _pikvm: pi-builder rm -rf pi-builder/builder/scripts/pikvm |