Prevent script from allowing '-r12'

diff --git a/Tools/scripts/ndiff.py b/Tools/scripts/ndiff.py
index 6f0f9a9cf34fddec1c834d9898b58c209cc6f8af..f399338f48a3cb185871a2c03b211bf1642b8df8 100755 (executable)
--- a/Tools/scripts/ndiff.py
+++ b/Tools/scripts/ndiff.py
@@ -101,7 +101,7 @@ def main(args):
     if rseen:
         if args:
             return fail("no args allowed with -r option")
-        if whichfile in "12":
+        if whichfile in ("1", "2"):
             restore(whichfile)
             return 1
         return fail("-r value must be 1 or 2")