1 files changed, 9 insertions, 0 deletions
diff --git a/scripts/nix-push.in b/scripts/nix-push.in
index d6abf62ee6..915163eca7 100644
--- a/scripts/nix-push.in
+++ b/scripts/nix-push.in
@@ -31,6 +31,8 @@ my $localCopy;
 my $localArchivesDir;
 my $localManifestFile;
 
+my $targetArchivesDir;
+
 my $archivesPutURL;
 my $archivesGetURL;
 my $manifestPutURL;
@@ -41,6 +43,13 @@ if ($ARGV[0] eq "--copy") {
     shift @ARGV;
     $localArchivesDir = shift @ARGV;
     $localManifestFile = shift @ARGV;
+    if ($ARGV[0] eq "--target") {
+       shift @ARGV;
+       $targetArchivesDir = shift @ARGV;
+    }
+    else {
+       $targetArchivesDir = $localArchivesDir;
+    }
 }
 else {
     die "syntax: nix-push ARCHIVES_PUT_URL ARCHIVES_GET_URL " .