Changed the Check for Linux to return 0 instead of 1 so doesn't kill windows run
Changed the Check for Linux to return 0 instead of 1 so doesn't kill windows run

A-Manning/FStar,FStarLang/FStar,FStarLang/FStar,A-Manning/FStar,A-Manning/FStar,FStarLang/FStar