diff options
author | Eli Schwartz via arch-projects <arch-projects@archlinux.org> | 2019-06-04 12:11:19 -0400 |
---|---|---|
committer | Levente Polyak <anthraxx@archlinux.org> | 2019-06-12 23:42:10 +0200 |
commit | 25b4ef279925a964b0de0ed8675d75e1532bf577 (patch) | |
tree | 3718042d04dcdac7b6fade5aba1b5aba21f52f69 /Makefile | |
parent | ad4b66830a6198a9920570380f673f547a488c2f (diff) | |
download | devtools32-25b4ef279925a964b0de0ed8675d75e1532bf577.tar.xz |
Add new tool: offload-build
This tool is useful for running makechrootpkg on a remote build server,
and is by default hooked up to send a PKGBUILD and initiate a build on
our shiny new build server "dragon".
Signed-off-by: Eli Schwartz <eschwartz@archlinux.org>
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -20,6 +20,7 @@ IN_PROGS = \ BINPROGS = \ $(IN_PROGS) \ + offload-build \ sogrep CONFIGFILES = \ |