From 39fc7f864f4f587ed157c4effa3432f693b28d05 Mon Sep 17 00:00:00 2001 From: erg Date: Sat, 24 Nov 2007 21:49:38 -0600 Subject: [PATCH] Set default to NO_UI= instead of NO_UI=0 --- misc/factor.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/misc/factor.sh b/misc/factor.sh index af0511ee50..977a6b79f7 100755 --- a/misc/factor.sh +++ b/misc/factor.sh @@ -10,7 +10,7 @@ shopt -s nocaseglob OS= ARCH= WORD= -NO_UI=0 +NO_UI= ensure_program_installed() { echo -n "Checking for $1..."