7 Commits

Include renames

Author	SHA1	Message	Date
John J. Camilleri	73948e54a6	Make.sh: halt on error, skip non-existant files ... Was trying to compile src/*/SymbolHeb.gf which doesn't exist	2018-08-09 10:05:10 +02:00
John J. Camilleri	60f19691eb	--verbose flag shows file names, not passed on to GF	2018-08-09 09:52:41 +02:00
John J. Camilleri	b76d8512e4	Updade Make.sh to read languages.csv, more specific about what to compile	2018-08-07 10:06:12 +02:00
John J. Camilleri	19020167f7	First version of Make.bat, untested but basically complete	2018-07-30 15:58:36 +02:00
John J. Camilleri	56f530abab	Clean up Make.sh and add verbosity flag	2018-07-30 11:52:55 +02:00
John J. Camilleri	be66369ccf	Build modules separately otherwise a single fail makes whole thing fail	2018-07-28 16:02:06 +02:00
John J. Camilleri	ade493515a	[GF Split] Post-split updates	2018-07-25 20:18:48 +02:00