We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 1681369 + 2cd8cb6 commit 0511be3Copy full SHA for 0511be3
load_eessi_extend_module.sh
@@ -74,7 +74,7 @@ if [[ $? -eq 0 ]]; then
74
# $PR_DIFF should be set by the calling script (EESSI-install-software.sh)
75
if [[ ! -z ${PR_DIFF} ]] && [[ -f "$PR_DIFF" ]]; then
76
# check if EESSI-extend easyconfig was modified; if so, we need to rebuild it
77
- grep -q "^\+\+\+ b/${EESSI_EXTEND_EASYCONFIG}" "${PR_DIFF}"
+ grep -q "^+++ b/${EESSI_EXTEND_EASYCONFIG}" "${PR_DIFF}"
78
if [[ $? -eq 0 ]]; then
79
rebuild_eessi_extend=true
80
fi
0 commit comments