patch ping On 21.10.2010 00:36, Matthias Klose wrote: > On 21.10.2010 00:23, Matthias Klose wrote: >> These headers are included in every JDK_HOME, no need to carry local copies. > > on some systems, both I$(BOOT_DIR)/include and I$(BOOT_DIR)/include/linux may be > needed.