tree 7c268c9f88881aa00b9cdd0e9cb25a3f9d44f38b
parent dddb6fabd371c9eb5b19b8daa1bc9330e9c0a580
author Tim Edwards <tim@opencircuitdesign.com> 1607455835 -0500
committer Tim Edwards <tim@opencircuitdesign.com> 1607455835 -0500

Corrected the configuration script to correctly handle an absent
"dist-path".  The previous syntax appears to be incompatible with
some versions of bash.