diff options
author | 2016-10-25 11:45:14 +0000 | |
---|---|---|
committer | 2016-10-25 11:45:14 +0000 | |
commit | 688948508e373829cdcd7bb1e4ebb7f55e43cdac (patch) | |
tree | 8e071efa549c859579bb4753451880a4a36537da /tools/pharos-validator/config.mk | |
parent | af9b7ddeb637278a7705964ba98c8e6a2e7307f4 (diff) | |
parent | d863ee1a888954aa9863c33f95e636466b4025a8 (diff) |
Merge "Add pharos-validator tool"
Diffstat (limited to 'tools/pharos-validator/config.mk')
-rw-r--r-- | tools/pharos-validator/config.mk | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/pharos-validator/config.mk b/tools/pharos-validator/config.mk new file mode 100644 index 00000000..ccb32b15 --- /dev/null +++ b/tools/pharos-validator/config.mk @@ -0,0 +1,5 @@ +# Customize below to fit your system + +# paths +PREFIX=/usr/local/ +MANPREFIX=${PREFIX}/share/man |