From 501949a364d3a26418bd59957be4015207312191 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Fri, 27 Feb 2009 03:05:35 -0400
Subject: If an error occurred in /dev/stdin, don't fopen it

---
 src/error.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/error.cc')

diff --git a/src/error.cc b/src/error.cc
index 5a45318f..653980b4 100644
--- a/src/error.cc
+++ b/src/error.cc
@@ -83,7 +83,7 @@ string source_context(const path&   file,
 		      const string& prefix)
 {
   std::size_t len = end_pos - pos;
-  if (! len)
+  if (! len || file == path("/dev/stdin"))
     return _("<no source context>");
 
   assert(len > 0);
-- 
cgit v1.2.3