This leads to misleading CI runs that mark the configure step as successful and then the build step fails because the build directory doesn't exist.
However, this is not a huge problem, and our goal in the long run is probably to get rid of this script.
This leads to misleading CI runs that mark the configure step as successful and then the build step fails because the
builddirectory doesn't exist.However, this is not a huge problem, and our goal in the long run is probably to get rid of this script.