Commit: ed1333d79db39e741a428ab6cde387562fc3cd58 Author: Anatol Belski <[email protected]> Fri, 15 Sep 2017 13:39:33 +0200 Parents: 5e27760dfdfe7fcdd00b127951f41cea2d453172 Branches: master
Link: http://git.php.net/?p=web/rmtools.git;a=commitdiff;h=ed1333d79db39e741a428ab6cde387562fc3cd58 Log: Fix extract path Changed paths: M include/Branch.php Diff: diff --git a/include/Branch.php b/include/Branch.php index 58e7f63..ad95daf 100644 --- a/include/Branch.php +++ b/include/Branch.php @@ -147,7 +147,7 @@ class Branch { if (!$res) { throw new \Exception("Unzipping $exportfile failed."); } - $gitname = $build_dir . '/php-src-' . strtoupper($this->config->getName()) . '-' . $rev_name; + $gitname = $extract_dir . '/php-src-' . strtoupper($this->config->getName()) . '-' . $rev_name; if (true !== rename($gitname, $target)) { throw new \Exception("Failed to rename '$gitname' to '$target'"); } -- PHP Webmaster List Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
