diff options
| author | Linus Nordberg <linus@nordu.net> | 2017-09-06 17:27:38 +0200 |
|---|---|---|
| committer | Linus Nordberg <linus@nordu.net> | 2017-09-06 17:27:38 +0200 |
| commit | db5ff1d65f5b07beb34e288b067a39886ec91706 (patch) | |
| tree | 1a849fb6d627cd14edc82783be2bf281f4fa18ba /tools/Makefile | |
| parent | f0f24939e5100c9b42ce782d55f87161caf8739e (diff) | |
Add install target.
Make default PREFIX absolute, for being useful in subdirectories too.
Stop rm -rf $(INSTDIR), for being less dangerous.
Diffstat (limited to 'tools/Makefile')
| -rw-r--r-- | tools/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/Makefile b/tools/Makefile new file mode 100644 index 0000000..61c7351 --- /dev/null +++ b/tools/Makefile @@ -0,0 +1,3 @@ +install: + mkdir $(INSTDIR)/tools + cp *.py *.sh merge $(INSTDIR)/tools/ |