Index: configure --- configure.orig 2009-03-21 01:18:05 +0100 +++ configure 2009-03-27 12:57:55 +0100 @@ -8567,7 +8567,7 @@ MZDYNOBJ="$MZDYNOBJ" else # older versions (3.72 approx and earlier) - MZDYNOBJ=`$MZSCHEME --mute-banner --version --eval '(begin (require (lib "link.ss" "dynext")) (with-handlers (((lambda args #t) (lambda args #f))) (for-each (lambda (x) (display x) (display " ")) ((current-make-standard-link-libraries)))) (with-handlers (((lambda args #t) (lambda args #f))) (for-each (lambda (x) (display x)) (expand-for-link-variant (current-standard-link-libraries)))))' 2>/dev/null` + MZDYNOBJ="" fi if test -f "$MZDYNOBJ"; then { echo "$as_me:$LINENO: result: $MZDYNOBJ" >&5