summaryrefslogtreecommitdiff
path: root/Vagrantfile
diff options
context:
space:
mode:
authorridingqwerty <george.g.koenig@gmail.com>2020-05-21 15:33:20 -0400
committerGitHub <noreply@github.com>2020-05-21 20:33:20 +0100
commitdae6f6b39bead1e5a709e7c07d4c3589fa5e1354 (patch)
tree2c1d49d723d5b509312e7884cbdf6c098dda80c3 /Vagrantfile
parent526c185e7e029387b178e52de7e1c7e4623301ae (diff)
Remove broken example from Makefile (#9159)
* Remove broken example from Makefile * Correct example in Vagrantfile
Diffstat (limited to 'Vagrantfile')
-rw-r--r--Vagrantfile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Vagrantfile b/Vagrantfile
index dae4e0d53d..adb93a3cee 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -89,7 +89,7 @@ Vagrant.configure(2) do |config|
Examples:
make planck/rev4:default:dfu
- make planck:default
+ make planck/rev4:default
EOT
end