tools/makemanifest.py: Use errno.EEXIST instead of number 17.

To make this code more portable, across different platforms.

Signed-off-by: Damien George <damien@micropython.org>

1 files changed, 2 insertions, 1 deletions

diff --git a/tools/makemanifest.py b/tools/makemanifest.py
index babce7fa7..6779198c4 100644
--- a/tools/makemanifest.py
+++ b/tools/makemanifest.py
@@ -25,6 +25,7 @@
 # THE SOFTWARE.
 
 from __future__ import print_function
+import errno
 import sys
 import os
 import subprocess
@@ -171,7 +172,7 @@ def mkdir(path):
         try:
             os.mkdir(cur_path)
         except OSError as er:
-            if er.args[0] == 17:  # file exists
+            if er.args[0] == errno.EEXIST:
                 pass
             else:
                 raise er