A bash script to build an fst from an fs and an optional fsi
A bash script to build an fst from an fs and an optional fsi

That's in preparation for the removal of interfaces.

YaccConstructor/FStar,hoheinzollern/FStar,MallabaevAzamat/FStar,YaccConstructor/FStar,YaccConstructor/FStar,FStarLang/FStar,FStarLang/FStar,MallabaevAzamat/FStar,A-Manning/FStar,MallabaevAzamat/FStar,A-Manning/FStar,A-Manning/FStar,hoheinzollern/FStar,FStarLang/FStar,hoheinzollern/FStar,hoheinzollern/FStar,MallabaevAzamat/FStar,YaccConstructor/FStar