diff options
| -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 } |
