diff options
| -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']), |
