debuggers.hg

view tools/python/remove-potcdate.sed @ 21067:b4a1832a916f

Update Xen version to 4.0.0-rc6
author Keir Fraser <keir.fraser@citrix.com>
date Tue Mar 09 18:18:05 2010 +0000 (2010-03-09)
parents 66242baf79b1
children
line source
1 # Sed script that remove the POT-Creation-Date line in the header entry
2 # from a POT file.
3 #
4 # The distinction between the first and the following occurrences of the
5 # pattern is achieved by looking at the hold space.
6 /^"POT-Creation-Date: .*"$/{
7 x
8 # Test if the hold space is empty.
9 s/P/P/
10 ta
11 # Yes it was empty. First occurrence. Remove the line.
12 g
13 d
14 bb
15 :a
16 # The hold space was nonempty. Following occurrences. Do nothing.
17 x
18 :b
19 }