diff --git a/tools/configure b/tools/configure index 5626cb1619..1cf229aff1 100755 --- a/tools/configure +++ b/tools/configure @@ -1235,7 +1235,6 @@ EOF # this point. # -echo "$memory memory!" if [ -z "$memory" ]; then case $target_id in