diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-05-11 12:22:32 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-05-11 12:22:32 -0700 |
commit | bb8a644b8214c231a945f68bd4ac277c51aab79c (patch) | |
tree | 6d6369f09d68b6609d1c7267cb638e383f013984 | |
parent | d2244a2f117618df541c52a1f7ec5d0fed8bcb7a (diff) | |
download | mu-bb8a644b8214c231a945f68bd4ac277c51aab79c.tar.gz |
1346
On my ubuntu 14.04.1 + gcc 4.8.2 machine, ifstream doesn't actually raise an error on trying to open a non-existent file until you try to do something with it. Garbage!
-rw-r--r-- | 020run.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/020run.cc b/020run.cc index 4a36b379..1c5c3f30 100644 --- a/020run.cc +++ b/020run.cc @@ -144,6 +144,9 @@ if (!Run_tests) { :(code) void load_permanently(string filename) { ifstream fin(filename.c_str()); + fin.peek(); +//? cerr << "AAA: " << filename << ' ' << static_cast<bool>(fin) << ' ' << fin.fail() << '\n'; //? 1 +//? return; //? 1 if (!fin) { raise << "no such file " << filename << '\n'; return; |