From 639c166647ae733e927ae589864d996bb2d95b88 Mon Sep 17 00:00:00 2001 From: Linus Heckemann Date: Fri, 16 Mar 2018 22:50:57 +0000 Subject: [PATCH] build-remote: take extra-platforms into account --- src/build-remote/build-remote.cc | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/build-remote/build-remote.cc b/src/build-remote/build-remote.cc index dbf8fe1b8..5ec49b525 100644 --- a/src/build-remote/build-remote.cc +++ b/src/build-remote/build-remote.cc @@ -98,7 +98,9 @@ int main (int argc, char * * argv) source >> drvPath; auto requiredFeatures = readStrings>(source); - auto canBuildLocally = amWilling && (neededSystem == settings.thisSystem); + auto canBuildLocally = amWilling + && ( neededSystem == settings.thisSystem + || settings.extraPlatforms.get().count(neededSystem) > 0); /* Error ignored here, will be caught later */ mkdir(currentLoad.c_str(), 0777);