diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/shared.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/shared.py b/tools/shared.py index 2c83bdeb..bfb338d9 100644 --- a/tools/shared.py +++ b/tools/shared.py @@ -666,6 +666,7 @@ class Building: b = open(filename, 'r').read(4) if b[0] == 'B' and b[1] == 'C': return True + # on OS X, there is a 20-byte prefix elif ord(b[0]) == 222 and ord(b[1]) == 192 and ord(b[2]) == 23 and ord(b[3]) == 11: b = open(filename, 'r').read(24) return b[20] == 'B' and b[21] == 'C' |