From 7482b821753ac226806439fecec4f9ff504c0e90 Mon Sep 17 00:00:00 2001 From: Amaury Pouly Date: Tue, 16 May 2017 12:16:25 +1000 Subject: Fix formatting in configure Change-Id: Ie877121bb60df6fb1fed4f778cc9aa0f5c426ed8 --- tools/configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools') diff --git a/tools/configure b/tools/configure index 5e562f58f5..0db6501288 100755 --- a/tools/configure +++ b/tools/configure @@ -1485,7 +1485,7 @@ cat <