# Sometimes, ECL gives interactive prompts when something goes wrong # during the build. Avoid this by redirecting stdin from /dev/null. # See https://github.com/sagemath/sage/issues/11884#comment:34 exec