about summary refs log tree commit diff stats
path: root/020run.cc
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2015-05-11 12:22:32 -0700
committerKartik K. Agaram <vc@akkartik.com>2015-05-11 12:22:32 -0700
commitbb8a644b8214c231a945f68bd4ac277c51aab79c (patch)
tree6d6369f09d68b6609d1c7267cb638e383f013984 /020run.cc
parentd2244a2f117618df541c52a1f7ec5d0fed8bcb7a (diff)
downloadmu-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!
Diffstat (limited to '020run.cc')
-rw-r--r--020run.cc3
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;