diff options
| author | Eddy Pedroni <epedroni@pm.me> | 2024-11-09 20:35:56 +0100 |
|---|---|---|
| committer | Eddy Pedroni <epedroni@pm.me> | 2024-11-09 20:35:56 +0100 |
| commit | cda8197669409689be291660f93cb288ab2d31b3 (patch) | |
| tree | 81db9b0c7c0491e0737cbffb39af6b935c0dfeb8 /pre-commit | |
| parent | a2257a900d4fffd6f94b73f1c48c62370ed1d684 (diff) | |
Migrate to project-based structure
Diffstat (limited to 'pre-commit')
| -rw-r--r-- | pre-commit | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pre-commit b/pre-commit new file mode 100644 index 0000000..668071c --- /dev/null +++ b/pre-commit @@ -0,0 +1,4 @@ +#!/bin/sh + +make test +exit $? |