diff options
| -rwxr-xr-x | menuconfig.py | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/menuconfig.py b/menuconfig.py index bf8396d..9459801 100755 --- a/menuconfig.py +++ b/menuconfig.py @@ -2355,9 +2355,8 @@ def _is_num(name): # they get their name as their value when the symbol is undefined. try: - int(name, 10) + int(name) return True - except ValueError: if not name.startswith(("0x", "0X")): return False @@ -2365,7 +2364,6 @@ def _is_num(name): try: int(name, 16) return True - except ValueError: return False |
