From cfb71cc974233b0e7d9be23dd18a257caf5d1045 Mon Sep 17 00:00:00 2001 From: Michael Forney Date: Fri, 10 Jun 2016 09:59:40 -0700 Subject: Drop quiet flag Pipe to /dev/null if you don't want to see the messages. --- setup.rc | 11 ++--------- 1 file changed, 2 insertions(+), 9 deletions(-) diff --git a/setup.rc b/setup.rc index 920dfbf1..075f6337 100755 --- a/setup.rc +++ b/setup.rc @@ -3,17 +3,10 @@ flag e + fn usage { - echo 'usage: '$0' [-q] [dir]' >[1=2] + echo 'usage: '$0' [dir]' >[1=2] exit 2 } -while(~ $1 -?) switch($1) { - case -v - quiet=1 - shift - case * - usage -} if(! ~ $#* 0 1) usage . ./ninja.rc @@ -66,7 +59,7 @@ fn gen { } >local.ninja.tmp mv $absdir/^(local.ninja.tmp local.ninja) - if(! ~ $quiet 1) echo 'generated '$dir >[1=2] + echo 'generated '$dir wait } -- cgit v1.2.3