Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix cleaning of pristine repository clone.
- Check if the Makefile exists before issuing make clean for Ipopt. - Change cleaning of libffi to not even issue an error instead of issuing and ignoring. It makes it easier to understand and easier to locate other errors in the build logs.
- Loading branch information