diff -r 5e2e7707f770 -r 513809fbfaf9 stage1_2/iec_bison.yy
--- a/stage1_2/iec_bison.yy	Sun Nov 30 10:26:31 2014 +0000
+++ b/stage1_2/iec_bison.yy	Sun Nov 30 10:27:28 2014 +0000
@@ -8730,13 +8730,14 @@
   /*******************************/
   /* Do the  PRE parsing run...! */
   /*******************************/
-  // fprintf (stderr, "----> Starting pre-parsing!\n");
-  tree_root = NULL;
-  set_preparse_state();
-  if (parse_files(libfilename, filename) < 0)
-    exit(EXIT_FAILURE);
-  // TODO: delete the current AST. For the moment, we leave all the objects in memory (not much of an issue in a program that always runs to completion).
-
+  if (runtime_options.pre_parsing) {
+    // fprintf (stderr, "----> Starting pre-parsing!\n");
+    tree_root = NULL;
+    set_preparse_state();
+    if (parse_files(libfilename, filename) < 0)
+      exit(EXIT_FAILURE);
+    // TODO: delete the current AST. For the moment, we leave all the objects in memory (not much of an issue in a program that always runs to completion).
+  }
   /*******************************/
   /* Do the main parsing run...! */
   /*******************************/