adjusting the use of the use_two_phase_tc flag in a makefile
adjusting the use of the use_two_phase_tc flag in a makefile

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