Diff between d1fbda1e15b5cdca4c15298409122b456443f1d1 and e9c1672adab8a3a232d07d4924b22ca708359fed

Changed Files

File Additions Deletions Status
test/test-proximity +2 -0 modified

Full Patch

diff --git a/test/test-proximity b/test/test-proximity
index 0cbf315..6b9b2b8 100755
--- a/test/test-proximity
+++ b/test/test-proximity
@@ -38,6 +38,8 @@ if __name__ == "__main__":
 		]
 	parser = OptionParser(option_list=option_list)
 
+	(options, args) = parser.parse_args()
+
 	if (len(args) < 1):
 		print("Usage: %s <command>" % (sys.argv[0]))
 		print("")