Rename batch log file more reliably in configure.com.
authorCraig A. Berry <craigberry@mac.com>
Sat, 5 Sep 2009 19:17:28 +0000 (14:17 -0500)
committerCraig A. Berry <craigberry@mac.com>
Sat, 5 Sep 2009 19:17:28 +0000 (14:17 -0500)
commit6623414d105ebdca0aa77f230db6e788f1f52e77
tree1afdbf1c1ce848f4d02e4af1ec8e9908e100493b
parent51e9a6ea64fc6fae732d0e03e16d15f12e54cb89
Rename batch log file more reliably in configure.com.

Thanks to Carl Friedberg for the suggestion.
configure.com