Mais a un moment, il faut s'arreter. Tu ne vas pas faire changer les options de compilation suivant le type de code a compiler.
gtc a deux types d'options (default et vitesse) d'apres ce que j'ai compris, et donc le test doit se faire pareil avec tigcc: l'option par defaut est fournie dans l'IDE si je me rappelle bien, et celles de vitesse, tu peux les donnees si tu veux