diff --git a/driver/mdriver.c b/driver/mdriver.c index 38618a12003f3057799e87086982a346d01bc26c..a78ecd376abe828c9c385982b11ea705c47d1cfb 100644 --- a/driver/mdriver.c +++ b/driver/mdriver.c @@ -455,7 +455,7 @@ int main(int argc, char **argv) printf("Score = 0\n"); } - exit(0); + return errors; }