On Wed, Sep 9, 2015 at 8:27 PM, Timothy Gu wrote:
> On Wed, Sep 9, 2015 at 11:15 AM Ganesh Ajjanagadde
> wrote:
>>
>> Signed-off-by: Ganesh Ajjanagadde
>> ---
>> configure | 3 ++-
>> 1 file changed, 2 insertions(+), 1 deletion(-)
>>
>> diff --git a/configure b/configure
>> index 056feea..4842b
On Wed, Sep 9, 2015 at 11:15 AM Ganesh Ajjanagadde
wrote:
> Signed-off-by: Ganesh Ajjanagadde
> ---
> configure | 3 ++-
> 1 file changed, 2 insertions(+), 1 deletion(-)
>
> diff --git a/configure b/configure
> index 056feea..4842b52 100755
> --- a/configure
> +++ b/configure
> @@ -421,6 +421,7
Signed-off-by: Ganesh Ajjanagadde
---
configure | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/configure b/configure
index 056feea..4842b52 100755
--- a/configure
+++ b/configure
@@ -421,6 +421,7 @@ if test -t 1 && which tput >/dev/null; then
if test -n "$ncolors" && t