diff options
Diffstat (limited to 'tools/configure')
-rwxr-xr-x | tools/configure | 1 |
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 | ||
1238 | echo "$memory memory!" | ||
1239 | if [ -z "$memory" ]; then | 1238 | if [ -z "$memory" ]; then |
1240 | 1239 | ||
1241 | case $target_id in | 1240 | case $target_id in |