pseudo fix xe7501devkit
[coreboot.git] / util / abuild /
drwxr-xr-x   ..
-rwxr-xr-x 8040 abuild.sh