diff options
| author | Dmitry Bogatov <KAction@debian.org> | 2019-03-20 13:22:42 +0000 |
|---|---|---|
| committer | Dmitry Bogatov <KAction@debian.org> | 2019-03-20 13:23:36 +0000 |
| commit | 365f18bb70df268de5933176e55f4315295b62c7 (patch) | |
| tree | 1a153fadf48e316fef9572548a7e3e1904c11d9a /Makefile | |
| parent | ae854e3eaaadcc0328dfada9d68dbd66a9a5c9ac (diff) | |
Make build system respect `nocheck' option.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..e39c248 --- /dev/null +++ b/Makefile | |||
| @@ -0,0 +1,4 @@ | |||
| 1 | all: | ||
| 2 | check: | ||
| 3 | prove | ||
| 4 | .PHONY: check | ||