Changes in RO jenkins jobs to support compilation of a specific GIT_COMMIT from gerrit 72/272/1
-rw-r--r-- 851 README
drwxr-xr-x - jenkins