Fixes bug 1254 and bug 1247
[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