chiark / gitweb /
~ian / ian-dotfiles.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 27f8114)
Provide "check" target
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 16 Dec 2015 18:30:22 +0000 (18:30 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 16 Dec 2015 18:30:22 +0000 (18:30 +0000)
Makefile patch | blob | history

diff --git a/Makefile b/Makefile
index e75ca3f08a3dabd1331afb44afa6791ef35fe5b2..bc2c1a4ccc58f2b93f52e3879b220535554f8c01 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -6,4 +6,7 @@ install:
 import:
        infra/makelinks import
 
+check:
+       infra/makelinks list
+
 .PHONY: install
Unnamed repository; edit this file 'description' to name the repository.