disable GREP_OPTIONS, this fixes ROOT-8056#144

pseyfert wants to merge 1 commit into

root-project:masterroot-project/root:masterfrom

pseyfert:ROOT-8056pseyfert/root:ROOT-8056Copy head branch name to clipboard