make commands more suitable for bob.bio and bob.pad

4 jobs for small in 15 minutes and 22 seconds (queued for 5 seconds)
Status Name Job ID Coverage
  Build
passed build_linux_27 #140405
docker

00:15:18

86.0%
passed build_linux_36 #140406
docker

00:15:15

86.0%
passed build_macosx_27 #140407
macosx

00:08:04

86.0%
passed build_macosx_36 #140408
macosx

00:06:49

86.0%