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 # this point. # -echo "$memory memory!" if [ -z "$memory" ]; then case $target_id in |