Compilation fails due to the usage of a file descriptor above 9 for redirection #32
Description
In Makefile, you're using the file descriptor 10, to redirect input to .config:
This fails on my PC. I advise you to use a file descriptor below 10 like 9 as "Redirections using file descriptors greater than 9 should be used with care, as they may conflict with file descriptors the shell uses internally." (cf. https://www.gnu.org/software/bash/manual/html_node/Redirections.html)