Makefile.conf
changeset 2750 ce57ed3d1f52
parent 2569 26ea88612990
child 3201 105b50dfaf15
     1.1 --- a/Makefile.conf	Fri Jun 15 20:32:23 2018 +0200
     1.2 +++ b/Makefile.conf	Fri Jun 15 21:57:25 2018 +0200
     1.3 @@ -115,3 +115,6 @@
     1.4  # Example:
     1.5  #    EXTRA_MACROS=-DDEFAULT_KEYSERVER=\"default-server.org\" -DCRASHDUMP_DEFAULT_LINES=23
     1.6  #EXTRA_MACROS=
     1.7 +
     1.8 +# add this for running tests in debugger
     1.9 +#TEST_DEBUGGER=lldb --batch -o r