#276: [scripts] create /proc and /dev/pts if they don't exist in source chroots

This commit is contained in:
Fabio Erculiani
2011-09-05 07:42:26 +02:00

Submodule commit.ref updated: 1c10161806...9583ba9b22