diff options
author | 2016-10-03 16:02:12 -0400 | |
---|---|---|
committer | 2016-10-03 16:02:12 -0400 | |
commit | d863ee1a888954aa9863c33f95e636466b4025a8 (patch) | |
tree | 9826e1915209f8119f78d9bad8bc7f7cd3bb3da4 /tools/pharos-validator/config.mk | |
parent | 94f19e02d37b1d7af807854cae910c83d34ce0cd (diff) |
Add pharos-validator tool
Change-Id: I38e077c2c90059e39ee9871abf5d867a875827a3
Signed-off-by: Todd Gaunt <singularik@iol.unh.edu>
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 |