# HG changeset patch # User Shabe Razvi # Date 1243522869 -3600 # Node ID 47cccedacd2d05656a93362c9e8dea126e216b64 # Parent 43a42dd33b4c1ba9bb74e165d8d32308c3d4a260 Use 7za not 7z as this is what is available on build machines diff -r 43a42dd33b4c -r 47cccedacd2d common/tools/zip_includefiles.pl --- a/common/tools/zip_includefiles.pl Thu May 28 15:55:27 2009 +0100 +++ b/common/tools/zip_includefiles.pl Thu May 28 16:01:09 2009 +0100 @@ -8,6 +8,6 @@ my $includefilename=$_; if (m/(.*)(_includefile.txt)/) { my $zipfilename = $1.".zip"; - system("7z a -tzip -i@".$includefilename . " " .$zipfilename); + system("7za a -tzip -i@".$includefilename . " " .$zipfilename); } } \ No newline at end of file