Skip to content
Snippets Groups Projects
Commit 8565ed68 authored by deuce's avatar deuce
Browse files

Exit with an error code after a GNATS error.

PR:10
parent 598c34ec
No related branches found
No related tags found
No related merge requests found
......@@ -353,5 +353,5 @@ function handle_error()
{
writeln(gnats.error);
console.pause();
clean_exit();
clean_exit(1);
}
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment