From 5ea70e9594264510ed4062dbbe6bf3088cf8d69c Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Wed, 24 Aug 2016 22:19:12 -0700
Subject: 3246

---
 020run.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '020run.cc')

diff --git a/020run.cc b/020run.cc
index 8cd7c41c..fd05f1d8 100644
--- a/020run.cc
+++ b/020run.cc
@@ -230,7 +230,7 @@ void load_file_or_directory(string filename) {
   }
   ifstream fin(filename.c_str());
   if (!fin) {
-    raise << "no such file '" << filename << "'\n" << end();
+    cerr << "no such file '" << filename << "'\n" << end();  // don't raise, just warn. just in case it's just a name for a scenario to run.
     return;
   }
   trace(9990, "load") << "=== " << filename << end();
-- 
cgit 1.4.1-2-gfad0