diff options
| author | Michael Forney <mforney@mforney.org> | 2016-06-10 09:59:40 -0700 |
|---|---|---|
| committer | Michael Forney <mforney@mforney.org> | 2016-06-10 09:59:40 -0700 |
| commit | cfb71cc974233b0e7d9be23dd18a257caf5d1045 (patch) | |
| tree | 3296e9b4d6fd2bfc78ba1d1a5ae575a6e7f59ef5 | |
| parent | 846dc4502634063a6b7528b3f6582a69464868f9 (diff) | |
Drop quiet flag
Pipe to /dev/null if you don't want to see the messages.
| -rwxr-xr-x | setup.rc | 11 |
1 files changed, 2 insertions, 9 deletions
@@ -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 } |
