diff --git a/Makefile.inc1 b/Makefile.inc1
index 2aa48b1370c0..d2581c573ecb 100644
--- a/Makefile.inc1
+++ b/Makefile.inc1
@@ -1480,8 +1480,6 @@ DTBOUTPUTPATH= ${KRNLOBJDIR}/${KERNCONF}/
 .if exists(${KERNCONFDIR}/${KERNCONF})
 FDT_DTS_FILE!= awk 'BEGIN {FS="="} /^makeoptions[[:space:]]+FDT_DTS_FILE/ {print $$2}' \
 	${KERNCONFDIR}/${KERNCONF}
-.else
-.error ERROR: kernel config file not found.
 .endif
 .endif