]> git.ipfire.org Git - thirdparty/make.git/commit
projects / thirdparty / make.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6ccf33c) | patch
Fix Savannah bug #19348: if the user specified
authorPaul Smith <psmith@gnu.org>
Wed, 21 Mar 2007 13:49:34 +0000 (13:49 +0000)
committerPaul Smith <psmith@gnu.org>
Wed, 21 Mar 2007 13:49:34 +0000 (13:49 +0000)
commit891409f2126f8abfd64f28fe82f546d716c671e2
treea658e98fbcfcb074c264f1637b1dcac9ed7a5866tree
parent6ccf33cdbdfda2aea5d51e4d4991881c74d853d1commit | diff
Fix Savannah bug #19348: if the user specified
--disable-case-insensitive-file-system, don't turn it on.
ChangeLog diff | blob | blame | history
configure.in diff | blob | blame | history
Mirror of https://git.savannah.gnu.org/git/make.git