Don't run linter tests when interrupted

This commit is contained in:
Rodrigo Arias 2023-02-22 12:02:43 +01:00 committed by Rodrigo Arias Mallo
parent c2064c125e
commit e0adf2f4a5
3 changed files with 12 additions and 0 deletions

View File

@ -226,6 +226,10 @@ nanos6_connect(struct emu *emu)
static int static int
end_lint(struct emu *emu) end_lint(struct emu *emu)
{ {
/* Only run the check if we finished the complete trace */
if (!emu->finished)
return 0;
struct system *sys = &emu->system; struct system *sys = &emu->system;
/* Ensure we run out of subsystem states */ /* Ensure we run out of subsystem states */

View File

@ -145,6 +145,10 @@ nodes_connect(struct emu *emu)
static int static int
end_lint(struct emu *emu) end_lint(struct emu *emu)
{ {
/* Only run the check if we finished the complete trace */
if (!emu->finished)
return 0;
struct system *sys = &emu->system; struct system *sys = &emu->system;
/* Ensure we run out of subsystem states */ /* Ensure we run out of subsystem states */

View File

@ -236,6 +236,10 @@ end_lint(struct emu *emu)
static int static int
finish_pvt(struct emu *emu, const char *name) finish_pvt(struct emu *emu, const char *name)
{ {
/* Only run the check if we finished the complete trace */
if (!emu->finished)
return 0;
struct system *sys = &emu->system; struct system *sys = &emu->system;
/* Emit task types for all channel types and processes */ /* Emit task types for all channel types and processes */