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

3.0 KiB

Executable File

Raw Blame History

View Raw