Changes in RO jenkins jobs to support compilation of a specific GIT_COMMIT from gerrit 72/272/1
[osm/devops.git] / jenkins / RO /
drwxr-xr-x   ..
-rw-r--r-- 1079 SETTINGS
-rwxr-xr-x 1236 start_build