changeset 118 | 9765c33f29a5 |
parent 116 | 47cccedacd2d |
--- a/common/tools/zip_includefiles.pl Fri May 29 08:07:21 2009 +0100 +++ b/common/tools/zip_includefiles.pl Fri May 29 08:10:47 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