diff --git a/tools/tools/tinderbox/etc/default.rc b/tools/tools/tinderbox/etc/default.rc index e2190e8f6799..836cae5c1a88 100644 --- a/tools/tools/tinderbox/etc/default.rc +++ b/tools/tools/tinderbox/etc/default.rc @@ -7,7 +7,7 @@ comment = %%branch%% tinderbox # Paths -sandbox = %%HOME%%/sandbox +sandbox = %%HOME%% logdir = %%HOME%%/logs # Tinderbox options