reference to PR#19266

EESSI · Nov 13, 2023 · e128d49 · e128d49
2 parents 89cc228 + 60ccab9
commit e128d49
Show file tree

Hide file tree

Showing 9 changed files with 553 additions and 35 deletions.
diff --git a/EESSI-pilot-install-software.sh b/EESSI-pilot-install-software.sh
@@ -190,7 +190,7 @@ fi
 pr_diff=$(ls [0-9]*.diff | head -1)
 
 # use PR patch file to determine in which easystack files stuff was added
-for easystack_file in $(cat ${pr_diff} | grep '^+++' | cut -f2 -d' ' | sed 's@^[a-z]/@@g' | grep '^eessi.*yml$'); do
+for easystack_file in $(cat ${pr_diff} | grep '^+++' | cut -f2 -d' ' | sed 's@^[a-z]/@@g' | grep '^eessi.*yml$' | egrep -v 'known-issues|missing'); do
 
     echo -e "Processing easystack file ${easystack_file}...\n\n"