tree fd2b61f3bda4b400293c5da4f4f9bf8d1c6f4869
parent b06f0f2148abd1b4f8ef60999f9991775cd87a7e
author Tim Edwards <tim@opencircuitdesign.com> 1619620676 -0400
committer Tim Edwards <tim@opencircuitdesign.com> 1619620676 -0400

Small change to the configure script to properly mark the options that
are disabled by default when using 'configure --help'.