guix: remove --user option

diff --git a/contrib/guix/guix-build b/contrib/guix/guix-build
index d7a78bbbc0118e9b09a4d5eae6f34aebb4641743..dc2d05fd0f3d6aeea85100591baa60d2143e5f90 100755 (executable)
--- a/contrib/guix/guix-build
+++ b/contrib/guix/guix-build
@@ -449,7 +449,6 @@ EOF
                                  --keep-failed \
                                  --fallback \
                                  --link-profile \
-                                 --user="user" \
                                  --root="$(profiledir_for_host "${HOST}")" \
                                  ${SUBSTITUTE_URLS:+--substitute-urls="$SUBSTITUTE_URLS"} \
                                  ${ADDITIONAL_GUIX_COMMON_FLAGS} ${ADDITIONAL_GUIX_ENVIRONMENT_FLAGS} \
@@ -488,7 +487,6 @@ EOF
                                          --share="$OUTDIR"=/outdir \
                                          --keep-failed \
                                          --fallback \
-                                         --user="user" \
                                          ${SUBSTITUTE_URLS:+--substitute-urls="$SUBSTITUTE_URLS"} \
                                          ${ADDITIONAL_GUIX_COMMON_FLAGS} ${ADDITIONAL_GUIX_ENVIRONMENT_FLAGS} \
                                          -- env DISTNAME="$DISTNAME" \