mirror of
https://github.com/xen-project/xen.git
synced 2026-10-29 18:50:05 +01:00
- the name of the config file was computed incorrectly because of the linux version number 4th digit being present in both LINUX_VER and EXTRAVERSION extracted from the linux Makefile. - DESTDIR was not set for the prep and config targets. Signed-off-by: Christian Limpach <Christian.Limpach@xensource.com>