Merge pull request #6779 from tautschnig/bugfixes/exit-code

run: return interpreted exit code

Author: kroening

src/util/run.cpp

@@ -570,7 +570,8 @@ int run(
     while((ch=fgetc(stream))!=EOF)
       std_output << (unsigned char)ch;
 
-    return pclose(stream);
+    int result = pclose(stream);
+    return WEXITSTATUS(result);
   }
   else
     return -1;