@ -832,6 +832,7 @@ void on_build_execute(GtkWidget *, dictionary *dict){
char *filename = (char*)gtk_entry_get_text(GTK_ENTRY(window->FilenameEntry));
char *command = build_command(target,filename,debug,drivers);
yon_command_execute_async(command,widgets);
gtk_widget_destroy(window->window);
}
void on_building_clicked(GtkWidget *, main_window *widgets){