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("")