Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion load_eessi_extend_module.sh
Original file line number Diff line number Diff line change
Expand Up @@ -74,7 +74,7 @@ if [[ $? -eq 0 ]]; then
# $PR_DIFF should be set by the calling script (EESSI-install-software.sh)
if [[ ! -z ${PR_DIFF} ]] && [[ -f "$PR_DIFF" ]]; then
# check if EESSI-extend easyconfig was modified; if so, we need to rebuild it
grep -q "^\+\+\+ b/${EESSI_EXTEND_EASYCONFIG}" "${PR_DIFF}"
grep -q "^+++ b/${EESSI_EXTEND_EASYCONFIG}" "${PR_DIFF}"
if [[ $? -eq 0 ]]; then
rebuild_eessi_extend=true
fi
Expand Down