Fix building in a separate build directory.
[grub-extras.git] / src / include / 
tree7d6902dd2b0645797b8e66e90e411a131b7f198b
drwxr-xr-x   ..
-rw-r--r-- 830 etherboot.h
drwxr-xr-x - gpxe
-rw-r--r-- 9205 nic.h