# HG changeset patch # User Matthew Wild # Date 1538404274 -3600 # Node ID 3b8c4b2c6ba198c11a63f1284fc5f26a89be7c69 # Parent 78c58a1089ea49b82e19d04d7011cb7446a2951e configure: Remove unnecessary 'echo' diff -r 78c58a1089ea -r 3b8c4b2c6ba1 configure --- a/configure Mon Oct 01 15:30:49 2018 +0100 +++ b/configure Mon Oct 01 15:31:14 2018 +0100 @@ -403,7 +403,7 @@ else suffixes="5.1 51 -5.1 -51 5.2 52 -5.2 -52 5.3 53 -5.3 -53" fi - for suffix in "" `echo $suffixes` + for suffix in "" $suffixes do search_interpreter "$suffix" && { lua_interp_found=yes