From 85f83fc1f0c1a7d6c543fe001ba89548efec2380 Mon Sep 17 00:00:00 2001 From: simonpj Date: Thu, 31 May 2001 11:10:30 +0000 Subject: [PATCH] [project @ 2001-05-31 11:10:30 by simonpj] More echoes; I have no idea why we get stuck, but sometimes we do --- ghc/rts/gmp/configure | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/ghc/rts/gmp/configure b/ghc/rts/gmp/configure index 3fc6599..f5d9521 100644 --- a/ghc/rts/gmp/configure +++ b/ghc/rts/gmp/configure @@ -4450,10 +4450,22 @@ for tmp_fn in ${gmp_mpn_functions} ; do found=no for tmp_dir in $path; do + +# SLPJ trace +# We get stuck sometimes + echo " ...dir $tmp_dir..." 1>&6 for tmp_base in $tmp_fn $tmp_mulfunc; do + +# SLPJ trace +# We get stuck sometimes + echo " ...base $tmp_base..." 1>&6 for tmp_ext in asm S s c; do tmp_file=$srcdir/mpn/$tmp_dir/$tmp_base.$tmp_ext +# SLPJ trace +# We get stuck sometimes + echo " ...$tmp_file..." 1>&6 + if test -f $tmp_file; then found=yes -- 1.7.10.4