Issue #65: checking exit status of make command in Linux CI build script, as it seems to continue even after failing make's
Issue #65: checking exit status of make command in Linux CI build script, as it seems to continue even after failing make's

gift-surg/GIFT-Grab,gift-surg/GIFT-Grab,gift-surg/GIFT-Grab,gift-surg/GIFT-Grab