From 283cabf1a1ae7c784f5e073cd1566e417a9ce1b4 Mon Sep 17 00:00:00 2001
From: Jonas Termansen <sortie@google.com>
Date: Fri, 8 Mar 2019 09:39:12 +0000
Subject: [PATCH] [infra] Reject unexpected extra arguments in approve_results.

Change-Id: I441572d5e6d99aa3f3ff3427f8562fa417405d09
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/95643
Reviewed-by: William Hesse <whesse@google.com>
---
 tools/approve_results.dart | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/tools/approve_results.dart b/tools/approve_results.dart
index 2279db2086ba..7f72a2d829d9 100755
--- a/tools/approve_results.dart
+++ b/tools/approve_results.dart
@@ -305,6 +305,12 @@ ${parser.usage}""");
     return;
   }
 
+  if (options.rest.isNotEmpty) {
+    stderr.writeln("Unexpected extra argument: ${options.rest.first}");
+    exitCode = 1;
+    return;
+  }
+
   // Locate gsutil.py.
   gsutilPy =
       Platform.script.resolve("../third_party/gsutil/gsutil.py").toFilePath();