Open robins opened 6 years ago
Probably make distclean and configure are an overkill for most commits.
See if we can have a fallback of .. if fails only then re-attempt, this time with make distclean + configure.
This depends on a reliable way to solve Issue #24 . Until then putting this for later.
Probably make distclean and configure are an overkill for most commits.
See if we can have a fallback of .. if fails only then re-attempt, this time with make distclean + configure.