diff options
| author | Palmer Dabbelt <palmer@dabbelt.com> | 2017-08-03 14:39:23 -0700 |
|---|---|---|
| committer | Palmer Dabbelt <palmer@dabbelt.com> | 2017-08-03 15:43:47 -0700 |
| commit | ca24f3c904186cb6babfc74fd6c4e133e4542b5e (patch) | |
| tree | 6b3afe9e5df25ca40d021c97e1d9553ecdb5b9e9 /configure.ac | |
| parent | 2187c4512db64656896f4b455628a2567984eba1 (diff) | |
| download | pk-ca24f3c904186cb6babfc74fd6c4e133e4542b5e.zip pk-ca24f3c904186cb6babfc74fd6c4e133e4542b5e.tar.gz pk-ca24f3c904186cb6babfc74fd6c4e133e4542b5e.tar.bz2 | |
Add the '--enable-print-device-tree' argument
I'm trying to debug some device tree problems while booting Linux and
figured it would be really nice to have access to the device tree while
trying to debug these problems. I think this might be useful for lots
of people, so I went ahead and cleaned up the code enough that it should
actaully work in most cases.
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 5813f3b..31b275f 100644 --- a/configure.ac +++ b/configure.ac @@ -105,6 +105,11 @@ AC_ARG_WITH([platform], PLATFORM_NAME=spike) AC_SUBST(PLATFORM_NAME, $PLATFORM_NAME) +AC_ARG_ENABLE([print-device-tree], AS_HELP_STRING([--enable-print-device-tree], [Print DTS when booting])) +AS_IF([test "x$enable_print_device_tree" == "xyes"], [ + AC_DEFINE([PK_PRINT_DEVICE_TREE],,[Define if the DTS is to be displayed]) +]) + AC_SUBST(CFLAGS) AC_SUBST(LDFLAGS) AC_SUBST([LIBS], ["-lgcc"]) |