From fc9bf66bdbd76caeae3f8f4b7c58288dd4333913 Mon Sep 17 00:00:00 2001 From: Brian Gladman Date: Thu, 25 Jun 2020 16:59:45 +0100 Subject: [PATCH] fix a bug in mpir_config.py --- msvc/mpir_config.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/msvc/mpir_config.py b/msvc/mpir_config.py index 09f6078b3..246e0bd63 100644 --- a/msvc/mpir_config.py +++ b/msvc/mpir_config.py @@ -6,7 +6,7 @@ from operator import itemgetter from os import scandir, walk, unlink, makedirs, mkdir -from os.path import join, split, splitext, isdir, exists +from os.path import join, split, splitext, isdir, isfile, exists from os.path import dirname, abspath, relpath, realpath from copy import deepcopy from sys import argv, exit, path