From a510be931481d7cf08e9f9a055f815e9fca11a50 Mon Sep 17 00:00:00 2001 From: mstsirkin Date: Tue, 16 Feb 2016 17:12:41 +0000 Subject: makediff: cherry pick file name change Signed-off-by: Michael S. Tsirkin git-svn-id: https://tools.oasis-open.org/version-control/svn/virtio/branches/v1.0@563 0c8fb4dd-22a2-4bb5-bc14-6c75a5f43652 --- makediff.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/makediff.sh b/makediff.sh index d7df5d0..71b640e 100755 --- a/makediff.sh +++ b/makediff.sh @@ -19,6 +19,7 @@ while read -r rev; do echo "Applying $rev" git cherry-pick `git rev-list -1 -F --grep "$rev" $newrev` || exit 1 done << 'EOF' +headerfile: rename virtio_ring to virtio queue EOF #mv specvars.tex specvars-orig.tex -- cgit v1.2.3