generate_upd_file 1463 bin/dbupdate/dbupdate.cc       temp_upd_file = generate_upd_file();
generate_upd_file 1476 bin/dbupdate/dbupdate.cc       temp_upd_file = generate_upd_file();
generate_upd_file 1670 bin/dbupdate/dbupdate.cc        temp_upd_file = generate_upd_file();