common/tools/zip_includefiles.pl
changeset 116 47cccedacd2d
parent 112 3fc223926c4a
equal deleted inserted replaced
115:43a42dd33b4c 116:47cccedacd2d
     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 }