[ci] Run "make" in parallel in run-jenkins.sh
[mono.git] / samples /
drwxr-xr-x   ..
-rw-r--r-- 35 .gitignore
-rw-r--r-- 504 Makefile.am
drwxr-xr-x - embed
drwxr-xr-x - profiler
drwxr-xr-x - size