diff options
Diffstat (limited to 'tools/debugging/Makefile')
-rw-r--r-- | tools/debugging/Makefile | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/tools/debugging/Makefile b/tools/debugging/Makefile new file mode 100644 index 000000000000..e2b7c1a6fb8f --- /dev/null +++ b/tools/debugging/Makefile | |||
@@ -0,0 +1,16 @@ | |||
1 | # SPDX-License-Identifier: GPL-2.0 | ||
2 | # Makefile for debugging tools | ||
3 | |||
4 | PREFIX ?= /usr | ||
5 | BINDIR ?= bin | ||
6 | INSTALL ?= install | ||
7 | |||
8 | TARGET = kernel-chktaint | ||
9 | |||
10 | all: $(TARGET) | ||
11 | |||
12 | clean: | ||
13 | |||
14 | install: kernel-chktaint | ||
15 | $(INSTALL) -D -m 755 $(TARGET) $(DESTDIR)$(PREFIX)/$(BINDIR)/$(TARGET) | ||
16 | |||