diff options
author | Christopher Kenna <cjk@cs.unc.edu> | 2012-09-20 16:41:17 -0400 |
---|---|---|
committer | Christopher Kenna <cjk@cs.unc.edu> | 2012-09-20 16:41:17 -0400 |
commit | a863f97842f305fedc5c6c151cef1ca9f7c7b992 (patch) | |
tree | 96216d183140f27f73a6a4cf43fd2d51bf5c4545 /config/config.example.py | |
parent | da64d9a01ee3c563a73e922dd2ac752d4011aa9b (diff) |
Fix example configuration.
Jonathan accidentally gave the full path to ftcat. Also, add a
bit of documentation.
Diffstat (limited to 'config/config.example.py')
-rw-r--r-- | config/config.example.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/config/config.example.py b/config/config.example.py index 5176460..b307687 100644 --- a/config/config.example.py +++ b/config/config.example.py | |||
@@ -2,10 +2,14 @@ from __future__ import print_function | |||
2 | import os | 2 | import os |
3 | import sys | 3 | import sys |
4 | 4 | ||
5 | """ | ||
6 | These are paths to repository directories. | ||
7 | |||
8 | """ | ||
5 | REPOS = {'liblitmus' : '/home/hermanjl/git/liblitmus', | 9 | REPOS = {'liblitmus' : '/home/hermanjl/git/liblitmus', |
6 | 'sched_trace' : '/home/hermanjl/git/sched_trace', | 10 | 'sched_trace' : '/home/hermanjl/git/sched_trace', |
7 | 'analysis' : '/home/hermanjl/git/overhead-analysis-cjk', | 11 | 'analysis' : '/home/hermanjl/git/overhead-analysis-cjk', |
8 | 'ft_tools' : '/home/hermanjl/git/ft_tools/ftcat', | 12 | 'ft_tools' : '/home/hermanjl/git/feather-trace-tools', |
9 | 'trace-cmd' : '/home/hermanjl/git/trace-cmd'} | 13 | 'trace-cmd' : '/home/hermanjl/git/trace-cmd'} |
10 | 14 | ||
11 | BINS = {'bespin' : '{}/bespin'.format(REPOS['liblitmus']), | 15 | BINS = {'bespin' : '{}/bespin'.format(REPOS['liblitmus']), |