bareboxenv - tricky ptxdist behavior

[Alexander Richter]

Hallo,

I just used bareboxenv tool in linux userspace after a long troublesome 
trip through ptxdist.
That would not have to be, if the description of "build bareboxenv tool 
for target" in barebox config has said, that i has to enable the tool  
platformconfig.

Perhaps you want to change this behavior or indicate it in the description.

-- 
Alexander Richter