Compiling in a terminal causes "modified by external application"

When the option 'Preferences' -> 'Behavior' -> 'Save files when changed' is *not* selected, compiling an opened *c* source file in a terminal causes a notification `" was modified in an external application. Do you want to load it again or continue your editing?"` to be shown. Selecting `Continue` will cause the notification to be shown again until `Load` is chosen.

If the option 'Preferences' -> 'Behavior' -> 'Save files when changed' *is* selected, the editor jumps to the top of the file.

The compilation command is:
`../opt/mingw32ce/bin/arm-mingw32ce-gcc -x c -L -l -mno-thumb-interwork -o `
which shouldn't modify the source file (and doesn't according to the output from `ls -lortha`).

Screenshot:


Aucun fichier source ni test n’est nommé. Reproduisez le problème avec un fichier C ouvert, la préférence « Enregistrer les fichiers lorsqu’ils sont modifiés » désactivée puis activée, et la commande de compilation fournie dans le terminal ; suivez ensuite la notification de modification externe et le comportement de l’enregistrement. C’est terminé lorsque le fait de continuer n’affiche pas la notification de manière répétée et que la compilation avec l’enregistrement automatique activé ne déplace pas l’éditeur en haut du fichier.

Rédigé par le modèle d'indexation à partir du texte de l'issue.