diff options
Diffstat (limited to 'machine/machine.ac')
| -rw-r--r-- | machine/machine.ac | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/machine/machine.ac b/machine/machine.ac index a787113..011f0ca 100644 --- a/machine/machine.ac +++ b/machine/machine.ac @@ -4,3 +4,8 @@ AC_ARG_ENABLE([fp-emulation], AS_HELP_STRING([--disable-fp-emulation], [Disable AS_IF([test "x$enable_fp_emulation" != "xno"], [ AC_DEFINE([PK_ENABLE_FP_EMULATION],,[Define if floating-point emulation is enabled]) ]) + +AC_ARG_WITH([dts], AS_HELP_STRING([--with-dts], [Specify a customize dts]), + [AC_SUBST([CUSTOM_DTS], $with_dts, [customize dts])], + [AC_SUBST([CUSTOM_DTS], [no], [customize dts])] +) |