diff options
-rw-r--r-- | tools/tools/tinderbox/tinderbox.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/tools/tinderbox/tinderbox.pl b/tools/tools/tinderbox/tinderbox.pl index 9f50346..819ccd0 100644 --- a/tools/tools/tinderbox/tinderbox.pl +++ b/tools/tools/tinderbox/tinderbox.pl @@ -489,7 +489,7 @@ MAIN:{ # Build a release if requested if ($cmds{'release'}) { logstage("building a release"); - cd("$sandbox/src"); + cd("$sandbox/src/release"); make('release') or error("failed to build release"); } |