Hi Michael,
>> This looks very strange. (old and new). Marc, can you please look at this?
>
> I think, we're already in ${pkg_patchin_dir}, so both the cd
> ${pkg_patchin_dir} and the ${pkg_patchin_dir} from git init can be removed.
>
> Remy, can you check this?It seems you were faster then me. Thanks for picking this patch up from here. I have more things in the queue that might be interesting, so I will concentrate on those ;-) Kind regards, Remy -- ptxdist mailing list [email protected]
