From 4c512718657d678f72d3bfb4287abadbf9ad4d21 Mon Sep 17 00:00:00 2001 From: Matthew Wild Date: Mon, 1 Oct 2018 15:31:14 +0100 Subject: configure: Remove unnecessary 'echo' --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure b/configure index 96941b57..ed2fc12f 100755 --- a/configure +++ b/configure @@ -403,7 +403,7 @@ then 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 -- cgit v1.2.3