diff options
-rwxr-xr-x | contrib/guix/guix-build | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/contrib/guix/guix-build b/contrib/guix/guix-build index 7f74524ddc..d817fb74ba 100755 --- a/contrib/guix/guix-build +++ b/contrib/guix/guix-build @@ -195,6 +195,7 @@ time-machine() { --commit=490e39ff303f4f6873a04bfb8253755bdae1b29c \ --cores="$JOBS" \ --keep-failed \ + --fallback \ ${SUBSTITUTE_URLS:+--substitute-urls="$SUBSTITUTE_URLS"} \ ${ADDITIONAL_GUIX_COMMON_FLAGS} ${ADDITIONAL_GUIX_TIMEMACHINE_FLAGS} \ -- "$@" @@ -344,6 +345,7 @@ EOF ${SDK_PATH:+--share="$SDK_PATH"} \ --cores="$JOBS" \ --keep-failed \ + --fallback \ --link-profile \ ${SUBSTITUTE_URLS:+--substitute-urls="$SUBSTITUTE_URLS"} \ ${ADDITIONAL_GUIX_COMMON_FLAGS} ${ADDITIONAL_GUIX_ENVIRONMENT_FLAGS} \ |