scripts/sequence-patch.sh: Add --no-xen option to skip patches.xen
authorMichal Marek <mmarek@suse.cz>
Mon, 3 Dec 2012 16:33:44 +0000 (17:33 +0100)
committerMichal Marek <mmarek@suse.cz>
Mon, 3 Dec 2012 16:33:44 +0000 (17:33 +0100)
commit85c4144f3485ea7faca1a29303cb86ed24f6c947
tree59d46cce2e0fbb97de37184ce7dfa8b7a2683650
parent7125eae5648c96e849ff39d4c56123f2c7f622b0
scripts/sequence-patch.sh: Add --no-xen option to skip patches.xen
scripts/sequence-patch.sh