[pkg-bioc] oops .. cowbuilder does not want the way I want it to

[Steffen Moeller]

Hi David,

after the build the cowbuilder environment is still existing. The rm -rf  does 
not do the job since there are /proc and /dev/pts still mounted. 

Cheers,

Steffen