common/tools/zip_includefiles.pl
changeset 135 45d06bae9906
parent 116 47cccedacd2d
equal deleted inserted replaced
134:039d0b7e56f3 135:45d06bae9906
     6 foreach (@includefiles)
     6 foreach (@includefiles)
     7 {
     7 {
     8     my $includefilename=$_;
     8     my $includefilename=$_;
     9 	if (m/(.*)(_includefile.txt)/) {
     9 	if (m/(.*)(_includefile.txt)/) {
    10 		my $zipfilename = $1.".zip";
    10 		my $zipfilename = $1.".zip";
    11 		system("7z a -tzip -i@".$includefilename . " " .$zipfilename);
    11 		system("7za a -tzip -i@".$includefilename . " " .$zipfilename);
    12 	}
    12 	}
    13 }
    13 }