From bdb2e6d37714e82fddeb435a9768b4fbbe31037f Mon Sep 17 00:00:00 2001
From: Lorenzo Cappelletti <lorenzo.cappelletti@gmail.com>
Date: Fri, 25 Apr 2014 15:07:52 +0200
Subject: [PATCH] bootstrap: add support to stdin

---
 mr | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/mr b/mr
index be2bac6..d59dc39 100755
--- a/mr
+++ b/mr
@@ -1715,6 +1715,10 @@ sub bootstrap {
 			if $downloader[0] eq 'curl' && $status >> 8 == 60;
 		die "mr bootstrap: download of $src failed\n" if $status != 0;
 	}
+	elsif ($src eq '-') {
+		# Config file is read from stdin.
+		copy(\*STDIN, $tmpconfig) || die "stdin: $!";
+	}
 	else {
 		# Config file is local.
 		die "mr bootstrap: cannot read file '$src'"
-- 
2.39.5