void save_options() { // Saves options to the options file. std::ofstream opts(".jgmake"); for (int i = 0; i < env->includes(); ++i) { opts << env->include(i) << ","; } opts << std::endl; for (int i = 0; i < env->libs(); ++i) { opts << env->lib(i) << ","; } opts << std::endl; }