AC_SUBST([KERNEL_DTB], [$KERN_DTB])
# Allow a user to pass --enable-psci
-USE_PSCI=no
AC_ARG_ENABLE([psci],
AS_HELP_STRING([--enable-psci], [enable the psci boot method]),
- [USE_PSCI=yes],
- [USE_PSCI=no])
+ [USE_PSCI=$enableval])
AM_CONDITIONAL([PSCI], [test "x$USE_PSCI" = "xyes"])
+AS_IF([test "x$USE_PSCI" = "xyes"], [], [USE_PSCI=no])
# Allow a user to pass --with-cpu-ids
C_CPU_IDS="0x0,0x1,0x2,0x3"
AC_SUBST([CMDLINE], [$C_CMDLINE])
# Allow a user to pass --enable-gicv3
-USE_GICV3=no
AC_ARG_ENABLE([gicv3],
AS_HELP_STRING([--enable-gicv3], [enable GICv3 instead of GICv2]),
- [USE_GICV3=yes],
- [USE_GICV3=no])
+ [USE_GICV3=$enableval])
AM_CONDITIONAL([GICV3], [test "x$USE_GICV3" = "xyes"])
+AS_IF([test "x$USE_GICV3" = "xyes"], [], [USE_GICV3=no])
# Ensure that we have all the needed programs
AC_PROG_CC