[lmi-commits] [lmi] master d53539c 1/6: Rebuild 'custom_tools' early in 'hooks/pre-commit'

[Greg Chicares]

branch: master
commit d53539cceb0162fced0968c2a92975530d76da9a
Author: Gregory W. Chicares <gchicares@sbcglobal.net>
Commit: Gregory W. Chicares <gchicares@sbcglobal.net>

    Rebuild 'custom_tools' early in 'hooks/pre-commit'
    
    See:
      https://lists.nongnu.org/archive/html/lmi/2021-04/msg00040.html
    | this seems easy enough to fix by just invoking "make ... custom_tools"
    | first and ignoring any messages from it, before the existing make
    | command.
---
 hooks/pre-commit | 1 +
 1 file changed, 1 insertion(+)

diff --git a/hooks/pre-commit b/hooks/pre-commit
index c220fd0..c257a1f 100755
--- a/hooks/pre-commit
+++ b/hooks/pre-commit
@@ -25,6 +25,7 @@ set -e
 
 check_concinnity()
 {
+    make custom_tools --directory=/opt/lmi/src/lmi >/dev/null 2>&1
     output=$( \
         make \
           prefascicle_dir="$1" \