From 3cc870ce1f31b1e7a2461cb7b3c155bd6c20af69 Mon Sep 17 00:00:00 2001 From: david gauchard Date: Tue, 19 Feb 2019 23:15:46 +0100 Subject: [PATCH] fix python regexp, '_' was missing --- tools/get.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/get.py b/tools/get.py index f5c292999e..a1091c5f08 100755 --- a/tools/get.py +++ b/tools/get.py @@ -58,7 +58,7 @@ def unpack(filename, destination): raise NotImplementedError('Unsupported archive type') # a little trick to rename tool directories so they don't contain version number - rename_to = re.match(r'^([a-z][^\-]*\-*)+', dirname).group(0).strip('-') + rename_to = re.match(r'^([a-zA-Z_][^\-]*\-*)+', dirname).group(0).strip('-') if rename_to != dirname: print('Renaming {0} to {1}'.format(dirname, rename_to)) if os.path.isdir(rename_to):