Closed waoki closed 2 years ago
Addresses issue #66, so that INSTALL.sh can locate a log file.
Whoops, I created this PR based on the wrong branch, so it inadvertently incorporates my other PR.
Addresses issue #66, so that INSTALL.sh can locate a log file.