| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
The hook created checks to see if dev/tools/pre-commit exists, and, if
so, runs it. This way, we don't have to do any fancy logic to update
the git pre-commit hook. The configure script never overwrites an
existing precommit hook, so users can disable it by creating an empty
pre-commit hook.
The check for existence is so that if users check out an old version of
Coq, attempting to commit won't give an error about non-existent files.
|
|
--quiet implies --exit-code
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
We inline should-check-whitespace.sh in check-eof-newline.sh
simplifying the find invocation.
|
|
Since 5ffa147, there is a new clib folder that needed to be added to the set
of includes of ocamldebug
|
|
|
|
|
|
|
|
|
|
|
|
Debian stable version is 0.42-3 right now.
|
|
|
|
|
|
|
|
|
|
|
|
Cygwin/Windows
|
|
|
|
|
|
|
|
|
|
|
|
Avoid generating \r characters in generated dev/ocamldebug-coq (affects Windows)
|
|
|
|
|
|
|
|
... in favor of having Public/Internal sub modules in each and
every module grouping functions according to their intended client.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
