Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The time stamp checks for configure and Makefile.in are sometimes problematic, so allow disabling them.
- Loading branch information