Jenkins: Use $JOB_NAME instead of hard coding it
[akaros.git] / tools / jenkins / config /
drwxr-xr-x   ..
-rw-r--r-- 532 Makelocal_qemu
-rw-r--r-- 1037 compilation_components.json