From a14698747109732b438c5fb1431f7e55d61d2bfd Mon Sep 17 00:00:00 2001 From: Reini Urban Date: Sat, 8 Sep 2012 19:57:47 -0500 Subject: [PATCH] fix mk_native_pbc syntax error --- tools/dev/mk_native_pbc | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/dev/mk_native_pbc b/tools/dev/mk_native_pbc index eab7146fb8..fe4b82bc0c 100755 --- a/tools/dev/mk_native_pbc +++ b/tools/dev/mk_native_pbc @@ -108,6 +108,7 @@ then reconfig "float" $conf if [ x$ptrsize = x8 ]; then reconfig "__float128" $conf + fi ;; "12") reconfig "double" $conf