Admin/bash_process/build
22 months ago wenzelm 2017-09-25 basic support for x86_64-cygwin;
2016-03-09 wenzelm 2016-03-09 tuned;
2016-02-13 wenzelm 2016-02-13 clarified name;