install_osm: --soui option defaults to Release THREE stable 16/6116/2
[osm/devops.git] / jenkins / host /
drwxr-xr-x   ..
-rwxr-xr-x 1230 clean_container
-rwxr-xr-x 1714 install
-rwxr-xr-x 2375 start_build