On Wed, 2012-07-25 at 18:37 +, Luck, Tony wrote:
> >> Is platform_name particularly special?
>
> Yes. It is the symbol that is currently colliding with other subsystem
> namespace.
>
> >> Perhaps it's be better to rename all the other
> >> platform_ uses to ia64_platform_
> >
> > That's good
>> Is platform_name particularly special?
Yes. It is the symbol that is currently colliding with other subsystem
namespace.
>> Perhaps it's be better to rename all the other
>> platform_ uses to ia64_platform_
>
> That's good point in general, oh well I just wanted to make the minimal
> change.
4 | \
> xargs sed -r -i 's/\bplatform_([a-z_]+)\b/ia64_platform_\1/g'
Thanks! To avoid some undesired changes, I ended up with the below script :)
Thanks,
Fengguang
---
>From a099f447c2718ee9416dbdb24dd18789ebabfc5c Mon Sep 17 00:00:00 2001
From: Fengguang Wu
Date: Wed, 25 Jul
3 matches
Mail list logo