From 1cf6564cb1cad38867acfdca7ac1fc621d975320 Mon Sep 17 00:00:00 2001 From: Philippe Groarke Date: Tue, 16 Jan 2018 12:25:59 -0500 Subject: [PATCH] check.py : Throw on h0.0. --- check.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/check.py b/check.py index 49d56ea..4baca8a 100755 --- a/check.py +++ b/check.py @@ -47,7 +47,7 @@ class Mapping: "-a": re.compile(r"^[0-9]+\~?$"), "a": re.compile(r"^[0-9]+\~?$"), "b": re.compile(r"^[0-9]+$"), - "h": re.compile(r"^[0-9]+\.(0|1|2|4|8|3|6|12|9)$"), + "h": re.compile(r"^[0-9]+\.(1|2|4|8|3|6|12|9)$"), } def __init__(self, mapping_string, line_number, add_missing_platform = False):