Files
gf-rgl/Make.sh
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