add compilation time to abuild.sh
[coreboot.git] / util / abuild /
drwxr-xr-x   ..
-rwxr-xr-x 8030 abuild.sh