diff ChangeLog @ 9957:59ed11557715

mkoctfile: if output file is specified and it does not end in output_ext, append output_ext
author John W. Eaton <jwe@octave.org>
date Thu, 10 Dec 2009 02:09:53 -0500
parents f26a33e21db9
children a7e288044ef7
line wrap: on
line diff
--- a/ChangeLog	Thu Dec 10 01:49:15 2009 -0500
+++ b/ChangeLog	Thu Dec 10 02:09:53 2009 -0500
@@ -1,3 +1,8 @@
+2009-12-10  John W. Eaton  <jwe@octave.org>
+
+	* mkoctfile.in, mkoctfile.cc.in: If output file is specified and
+	it does not end in output_ext, append output_ext.
+
 2009-12-10  John W. Eaton  <jwe@octave.org>
 
 	* mkoctfile.in, mkoctfile.cc.in: When compiling files in