generate_upd_file 1540 bin/dbupdate/dbupdate.cc       temp_upd_file = generate_upd_file();
generate_upd_file 1553 bin/dbupdate/dbupdate.cc       temp_upd_file = generate_upd_file();
generate_upd_file 1770 bin/dbupdate/dbupdate.cc        temp_upd_file = generate_upd_file();