Genera file del database di programma : Abilita la generazione di un file di database di programma ('pdb'). Occorre che l'opzione ...