debugging

Author: tautschnig

src/goto-cc/compile.cpp

@@ -420,11 +420,13 @@ bool compilet::compile()
 
       std::string cfn;
 
+      debug() << "output_file_object = " << output_file_object << eom;
       if(output_file_object=="")
       {
         const std::string file_name_with_obj_ext =
           get_base_name(file_name, true) + "." + object_file_extension;
 
+        debug() << "output_directory_object = " << output_directory_object << eom;
         if(!output_directory_object.empty())
           cfn = concat_dir_file(output_directory_object, file_name_with_obj_ext);
         else