Préférences générales Ant

Vous pouvez modifier les préférences suivantes sur la page des préférences Ant.

Option	Description	Par défaut
Noms	Configure les fichiers de compilation que l'émulation "-find" d'Ant doit rechercher.	build.xml
Délai d'attente JRE séparé	Le temps d'attente en millisecondes pour la communication avec la machine virtuelle Java lors de l'exécution d'une génération Ant dans un environnement d'exécution Java distinct.	20000
URL de documentation	Vous permet de parcourir l'URL de documentation applicable.	http://ant.apache.org/manual
Toujours exécuter les nouvelles configurations Ant dans le même JRE que l'espace de travail	Permet que toutes les nouvelles configurations Ant soient automatiquement configurées pour s'exécuter dans le même JRE que l'espace de travail.	Off
Avertir lorsque tools.jar n'est pas sur le chemin de classe	Affiche un avertissement lorsque tools.jar n'est pas sur le chemin d'accès aux classes.	Activé
Afficher une boîte de dialogue d'erreur lors d'un échec de génération Ant	Affiche un message d'erreur en cas d'échec de génération d'Ant.	Activé
Créer des marqueurs d'incident à partir des résultats `javac`	Crée des marqueurs d'avertissement et d'erreur à partir des résultats de génération d'une tâche Ant `javac`. La création de marqueurs exige qu'une console soit allouée à la génération et que l'attribut `listfiles` de la tâche `javac` soit défini sur true.	Off
Options de couleur Ant	Configure les couleurs de la sortie de génération Ant.	Varie en fonction de la sortie Ant

Page de préférences Ant :