diff options
| author | Thomas Habets <thomas@habets.se> | 2022-11-21 20:02:24 +0000 |
|---|---|---|
| committer | Thomas Habets <thomas@habets.se> | 2022-11-21 20:02:24 +0000 |
| commit | 797b7357f95467998b6b30cc6bc43ec86da354b5 (patch) | |
| tree | 69759e0a412e8502ea50703376a7f0b94baa2a2c | |
| parent | 52f9673f11ea6790c53425f163010259f0ad8b8f (diff) | |
| download | arping-797b7357f95467998b6b30cc6bc43ec86da354b5.tar.gz | |
Add pre-commit script, to be symlinked from .git/hooks/
| -rwxr-xr-x | extra/pre-commit | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/extra/pre-commit b/extra/pre-commit new file mode 100755 index 0000000..8243086 --- /dev/null +++ b/extra/pre-commit @@ -0,0 +1,4 @@ +#!/usr/bin/env bash + +set -e +exec make check |