diff options
| author | Michael Forney <mforney@mforney.org> | 2016-06-18 16:09:43 -0700 |
|---|---|---|
| committer | Michael Forney <mforney@mforney.org> | 2016-06-18 16:09:43 -0700 |
| commit | e01e004a95dcc60f5cb496d4f016affc9d3d72b8 (patch) | |
| tree | 509968d711b3fdc6ce7a0d29048636aaff262b33 /rules.ninja | |
| parent | 03122929d1b2eae16acae8f43b657b74eadc5314 (diff) | |
Produce sorted .perms
Diffstat (limited to 'rules.ninja')
| -rw-r--r-- | rules.ninja | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/rules.ninja b/rules.ninja index c26891ef..3e1ac487 100644 --- a/rules.ninja +++ b/rules.ninja @@ -27,6 +27,9 @@ rule copy rule cat command = cat $in >$out.tmp && mv $out.tmp $out +rule mergeperms + command = sort -k 2 -m $in >$out.tmp && mv $out.tmp $out + rule gzip command = gzip -c -9 -n $in >$out.tmp && mv $out.tmp $out |