diff -r a7d9e0b8636b -r 9c6c588fd708 stage1_2/stage1_2.cc --- a/stage1_2/stage1_2.cc Wed Feb 19 22:25:10 2014 +0100 +++ b/stage1_2/stage1_2.cc Wed Feb 19 22:27:11 2014 +0100 @@ -63,6 +63,12 @@ bool safe_extensions_ = false; bool get_opt_safe_extensions() {return safe_extensions_;} +/************************************/ +/* whether to allow nested comments */ +/************************************/ +bool nested_comments_ = false; +bool get_opt_nested_comments() {return nested_comments_;} + /******************************************************/ /* whether we are supporting conversion functions */ /* for enumerate data types */ @@ -241,6 +247,7 @@ * We now set those variables... */ + nested_comments_ = options.nested_comments; safe_extensions_ = options.safe_extensions; conversion_functions_ = options.conversion_functions; return stage2__(filename, options.includedir, tree_root_ref, options.full_token_loc);