diff options
| -rwxr-xr-x | makediff.sh | 1 |
1 files changed, 1 insertions, 0 deletions
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 |