Changed docker/build.sh to copy './build' -> '<host-wdir>/' so that the result when building through docker is identical to building locally (build-tree is at same path). Previous commit also had problem that 'docker cp' doesn't create intermediate target directories, so if not copying to pre-made directory it fails (so copying whole build is both easier and more intuitive; until it gets too big... :) ).
Changed docker/build.sh to copy './build' -> '<host-wdir>/' so that the result when building through docker is identical to building locally (build-tree is at same path). Previous commit also had problem that 'docker cp' doesn't create intermediate target directories, so if not copying to pre-made directory it fails (so copying whole build is both easier and more intuitive; until it gets too big... :) ).

helmesjo/hello-cd,helmesjo/hello-cd