From 76427246f4044586b35a94f20af6ea2cc223318d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jo=C3=A3o=20Reis?= <reis@janeasystems.com>
Date: Thu, 1 Sep 2016 17:52:19 +0100
Subject: [PATCH] win,build: fail on invalid option in vcbuild

---
 vcbuild.bat | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/vcbuild.bat b/vcbuild.bat
index 05f2a1c268772c..4aab3149b165fd 100644
--- a/vcbuild.bat
+++ b/vcbuild.bat
@@ -82,7 +82,8 @@ if /i "%1"=="ignore-flaky"  set test_args=%test_args% --flaky-tests=dontcare&got
 if /i "%1"=="enable-vtune"  set enable_vtune_arg=1&goto arg-ok
 if /i "%1"=="dll"           set dll=1&goto arg-ok
 
-echo Warning: ignoring invalid command line option `%1`.
+echo Error: invalid command line option `%1`.
+exit /b 1
 
 :arg-ok
 :arg-ok