diff options
| -rwxr-xr-x | configure | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/configure b/configure index 28b76c07ab..850efc0f16 100755 --- a/configure +++ b/configure @@ -3454,16 +3454,7 @@ case "$target_arch2" in fi fi esac -if test "$fdt" != "yes" && test "$target_arch2" = "ppc" -o \ - "$target_arch2" = "ppc64" -o "$target_arch2" = "ppcemb"; then - echo - echo "Error: libfdt missing" - echo "The PowerPC target requires libfdt to work properly." - echo "Please make sure to have it and its development packages installed." - echo - exit 1 -fi -if test "$target_arch2" = "ppc64"; then +if test "$target_arch2" = "ppc64" -a "$fdt" = "yes"; then echo "CONFIG_PSERIES=y" >> $config_target_mak fi if test "$target_bigendian" = "yes" ; then |