From 81f4086b7f673c875557b56e2aa98cf7517fae33 Mon Sep 17 00:00:00 2001 From: des Date: Thu, 15 May 2003 20:30:21 +0000 Subject: 'make release' should run from src/release, not src. --- tools/tools/tinderbox/tinderbox.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools') 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"); } -- cgit v1.1