* the option --disable-optimization to the configure script does not
commit52d9d31265899fc6805dceb0f64cdd03b06995a8
authorEduardo Chappa <chappa@washington.edu>
Tue, 5 Oct 2021 04:00:14 +0000 (4 22:00 -0600)
committerEduardo Chappa <chappa@washington.edu>
Tue, 5 Oct 2021 04:00:14 +0000 (4 22:00 -0600)
tree37ecf40fe8aa60893583bcda870cd66a0ec562e8
parent76da583d4aa4600148048c4cb025d9248d41326c
   * the option --disable-optimization to the configure script does not
     eliminate optimization if it comes from the CFLAGS variable. This
     commit fixes that.
configure
configure.ac
pith/pine.hlp