diff options
author | hermanjl <thegoldenbee@gmail.com> | 2012-09-20 17:55:34 -0400 |
---|---|---|
committer | hermanjl <thegoldenbee@gmail.com> | 2012-09-20 17:55:34 -0400 |
commit | 5da63680873bece99b9e99c80bcbf8d9f7d792b3 (patch) | |
tree | 6a00ccf3c2e04b3b92c686273f2bc133ac4d881d /config/config.example.py | |
parent | 48e1c8de6f8fca6770b669f8dae1ddc52917bead (diff) | |
parent | 5cbcbfa61aede7acbf68d9c17cd0723fba21b1c3 (diff) |
Merge pull request #4 from ckenna/wip-cjk
Various fixes to color-scripts.
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']), |