summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xtools/configure1
1 files changed, 0 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure
index 5626cb1619..1cf229aff1 100755
--- a/tools/configure
+++ b/tools/configure
@@ -1235,7 +1235,6 @@ EOF
1235# this point. 1235# this point.
1236# 1236#
1237 1237
1238echo "$memory memory!"
1239if [ -z "$memory" ]; then 1238if [ -z "$memory" ]; then
1240 1239
1241 case $target_id in 1240 case $target_id in