From 044568c220ae3a0ad6f151611ba834f9b3e1402e Mon Sep 17 00:00:00 2001 From: david gauchard Date: Wed, 20 Feb 2019 00:10:51 +0100 Subject: [PATCH] fix python regexp, '_' was missing (#5791) --- tools/get.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/get.py b/tools/get.py index f5c292999..a1091c5f0 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):