changeset 112 | 3fc223926c4a |
child 116 | 47cccedacd2d |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/common/tools/zip_includefiles.pl Wed May 27 14:12:36 2009 +0100 @@ -0,0 +1,13 @@ +#!perl -w + +use strict; + +my @includefiles = glob "*_includefile.txt"; +foreach (@includefiles) +{ + my $includefilename=$_; + if (m/(.*)(_includefile.txt)/) { + my $zipfilename = $1.".zip"; + system("7z a -tzip -i@".$includefilename . " " .$zipfilename); + } +} \ No newline at end of file