From 887b62efe66dc03ded0f2bf9916aa663db18b6d3 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 7 Apr 2021 18:20:45 -0700 Subject: [PATCH] another patch --- scripts/mk_util.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/mk_util.py b/scripts/mk_util.py index 145d8d9be..ea1ad6050 100644 --- a/scripts/mk_util.py +++ b/scripts/mk_util.py @@ -1007,8 +1007,9 @@ class Component: # Iterate through all of the possibilities for possibility in possibilities: + path = possibility.path.replace("\\","/") # If we match the suffix of the path ... - if possibility.path.endswith(orig_dir): + if path.endswith(orig_dir): # ... use our new match return possibility