John J. Camilleri 989c6f5893 Add dist to --gf-lib-path in Make.sh ...

Otherwise an externally set GF_LIB_PATH will mess it up
Might also need to make same change in Make.hs

2018-08-10 18:27:19 +02:00

3.1 KiB

Executable File

Raw Blame History

View Raw