# HG changeset patch
# User John W. Eaton <jwe@octave.org>
# Date 1455122774 18000
# Node ID ffc9806bb30048658ced9820f3d76c3753c6710a
# Parent  5d23ea5c733ad0b41b02e11c5c1d99b1f14a766b
mk-octave-config-h.sh: Correct typdef for octave_idx_type.

diff -r 5d23ea5c733a -r ffc9806bb300 build-aux/mk-octave-config-h.sh
--- a/build-aux/mk-octave-config-h.sh	Tue Feb 09 13:37:25 2016 -0500
+++ b/build-aux/mk-octave-config-h.sh	Wed Feb 10 11:46:14 2016 -0500
@@ -92,7 +92,7 @@
 
 cat << EOF
 
-typedef octave_idx_type $octave_idx_type;
+typedef $octave_idx_type octave_idx_type;
 
 EOF