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