diff options
| author | Michael Forney <mforney@mforney.org> | 2016-06-27 22:24:08 -0700 |
|---|---|---|
| committer | Michael Forney <mforney@mforney.org> | 2016-06-27 23:00:53 -0700 |
| commit | 70cd0efb5a2c6e0b60cc7869b5d3eec5a534c3ff (patch) | |
| tree | 6a4d5fb47c71cac47925e08be0cd7c5e778fb2f2 | |
| parent | 89f46c9ac2603c0f951d11080d2e824a9bd337f1 (diff) | |
Use the console pool for fetch rules
| -rw-r--r-- | rules.ninja | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/rules.ninja b/rules.ninja index ef4053c4..c90f087a 100644 --- a/rules.ninja +++ b/rules.ninja @@ -62,11 +62,13 @@ rule gitinit command = mkdir -p $builddir/$repo.git && git -C $builddir/$repo.git init --bare && touch $out rule fetchcurl - command = rc ./scripts/fetch-curl.rc $dir + command = rc ./scripts/fetch-curl.rc $dir && touch $out restat = 1 generator = 1 + pool = console rule fetchgit - command = rc ./scripts/fetch-git.rc $dir + command = rc ./scripts/fetch-git.rc $dir && touch $out restat = 1 generator = 1 + pool = console |