'make release' should run from src/release, not src.

2003-05-15 20:30:21 +00:00 · 2003-05-15 20:30:21 +00:00 · 1a1ab60d64
commit 1a1ab60d64
parent 11583f6c93
1 changed files with 1 additions and 1 deletions
--- 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");
    }