From 981aafc0df341a2536ed5059695bb7c33af4d3ee Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mart=C3=ADn=20Beracochea?= Date: Fri, 25 Feb 2022 15:06:24 +0000 Subject: [PATCH] Fix collect_scripts.py --- collect_scripts.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collect_scripts.py b/collect_scripts.py index 7764c01c..e383dc73 100755 --- a/collect_scripts.py +++ b/collect_scripts.py @@ -18,7 +18,7 @@ import shutil import sys from pathlib import Path -from stat import S_IREAD, S_IWUSR, S_IWGRP, S_IRGRP, S_IEXEC +from stat import S_IREAD, S_IWUSR, S_IWGRP, S_IRGRP, S_IEXEC, S_IXGRP FILE_EXTENSIONS = [".py", ".sh", ".json", ".pl", ".obo", ".txt", ".jar", ".vmoptions"]