add documentation for tracking tools; rename with prefix MI_TRACK_tool

This commit is contained in:
Daan Leijen 2023-03-06 09:02:38 -08:00
parent 64fb009695
commit 2e6ab0f230
7 changed files with 104 additions and 52 deletions

View file

@ -12,7 +12,7 @@ terms of the MIT license. A copy of the license can be found in the file
Compile in an "out/debug" folder:
> cd out/debug
> cmake ../.. -DMI_VALGRIND=1
> cmake ../.. -DMI_TRACK_VALGRIND=1
> make -j8
and then compile this file as:
@ -29,7 +29,7 @@ terms of the MIT license. A copy of the license can be found in the file
Compile in an "out/debug" folder:
> cd out/debug
> cmake ../.. -DMI_ASAN=1
> cmake ../.. -DMI_TRACK_ASAN=1
> make -j8
and then compile this file as: