diff options
-rw-r--r-- | tools/tools/tinderbox/etc/stanley.rc | 1 | ||||
-rw-r--r-- | tools/tools/tinderbox/stanley.rc | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/tools/tools/tinderbox/etc/stanley.rc b/tools/tools/tinderbox/etc/stanley.rc index 4623f3a..ddabcbb 100644 --- a/tools/tools/tinderbox/etc/stanley.rc +++ b/tools/tools/tinderbox/etc/stanley.rc @@ -5,6 +5,7 @@ # comment = Tinderbox stress test +sandbox = /vol/vol1/users/des/tinderbox logdir = /home/des/public_html/stanley branches = CURRENT targets = update, world, generic, lint diff --git a/tools/tools/tinderbox/stanley.rc b/tools/tools/tinderbox/stanley.rc index 4623f3a..ddabcbb 100644 --- a/tools/tools/tinderbox/stanley.rc +++ b/tools/tools/tinderbox/stanley.rc @@ -5,6 +5,7 @@ # comment = Tinderbox stress test +sandbox = /vol/vol1/users/des/tinderbox logdir = /home/des/public_html/stanley branches = CURRENT targets = update, world, generic, lint |