Python buildir check returns wrong error code
The following discussion from !1162 (merged) should be addressed:
-
@andreas.dedner started a discussion: (+4 comments)
I think this needs to be 77 so that the test is marked as skipped.
The script run-in-dune-env.sh returns an error code with value 77. This value is chosen so that dune tests are marked as skipped when the python configuration failed. Otherwise, the value is arbitrary. Now, with !1148 (merged) merged, we can address this situation at configuration time directly and conditionally add tests to the test suite.
Related to #289.