diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-08-24 22:19:12 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-08-25 09:24:06 -0700 |
| commit | 5ea70e9594264510ed4062dbbe6bf3088cf8d69c (patch) | |
| tree | 6e1f826c43eb93fecb573278832127298c4b2b3a /020run.cc | |
| parent | 43781c7b694030078aa00c69668ed06a0c911624 (diff) | |
| download | mu-5ea70e9594264510ed4062dbbe6bf3088cf8d69c.tar.gz | |
3246
Diffstat (limited to '020run.cc')
| -rw-r--r-- | 020run.cc | 2 |
1 files changed, 1 insertions, 1 deletions
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(); |