Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
Motivation for this change
./configure: line 5836: /usr/bin/file: No such file or directory
Clean-ip build configuration.
I agree with @etu that we should be solving a known problem when we increase closure size, not appeasing a warning which has no known issue.
I would also point out that many packages mention a missing