Script to bump server ABI

[Daniel van Vugt]

I think there are likely many case where we fear an ABI break is 
happening when really it's not. Like some of last night's landings.

In future I shall have to remind myself to point this out in the MP 
description... "I'm changing the server headers but it's not an ABI/API 
break".

Of course, if no one's gone to the trouble of thoroughly checking then 
we need to assume it's a break and bump.


On 03/10/13 08:37, Robert Ancell wrote:
> Find attached a script you can use to bump the ABI on libmirserver to
> save time doing it manually.
>
> Run from the bzr checkout with:
> $ chmod +x bump_abi.py
> $ ./bump_abi.py
>
> Enjoy!
> --Robert
>
>