Add Vagrantfile lint exceptions

guberti · guberti · commit ef00c0dcf42b · 2021-08-23T14:49:02.000-07:00
diff --git a/tests/lint/check_file_type.py b/tests/lint/check_file_type.py
@@ -145,6 +145,8 @@
     "apps/microtvm/zephyr/template_project/qemu-hack/qemu-system-riscv32",
     "apps/microtvm/zephyr/template_project/qemu-hack/qemu-system-riscv64",
     # microTVM Virtual Machines
+    "apps/microtvm/reference-vm/arduino/Vagrantfile",
+    "apps/microtvm/reference-vm/arduino/base-box/Vagrantfile.packer-template",
     "apps/microtvm/reference-vm/zephyr/Vagrantfile",
     "apps/microtvm/reference-vm/zephyr/base-box/Vagrantfile.packer-template",
 }

Original file line number	Diff line number	Diff line change
`@@ -145,6 +145,8 @@`
`145`	`145`	`"apps/microtvm/zephyr/template_project/qemu-hack/qemu-system-riscv32",`
`146`	`146`	`"apps/microtvm/zephyr/template_project/qemu-hack/qemu-system-riscv64",`
`147`	`147`	`# microTVM Virtual Machines`
	`148`	`+ "apps/microtvm/reference-vm/arduino/Vagrantfile",`
	`149`	`+ "apps/microtvm/reference-vm/arduino/base-box/Vagrantfile.packer-template",`
`148`	`150`	`"apps/microtvm/reference-vm/zephyr/Vagrantfile",`
`149`	`151`	`"apps/microtvm/reference-vm/zephyr/base-box/Vagrantfile.packer-template",`
`150`	`152`	`}`