changeset 32 | d1addc2ec712 |
parent 31 | 1cea07056124 |
child 33 | d3269961e944 |
--- a/dnssec-creatkey Thu Aug 12 10:18:58 2010 +0200 +++ b/dnssec-creatkey Fri Aug 13 10:09:37 2010 +0200 @@ -273,3 +273,9 @@ close(ZONE); } + +# "toucht" alle zonen damit der serial erhoht wird und die +# zone neu signiert wird +for ( &del_double( @change, @manu ) ) { + system "touch $master_dir/$_/$_"; +}