diff options
author | NunoSempere <nuno.semperelh@protonmail.com> | 2024-03-23 21:51:55 -0300 |
---|---|---|
committer | NunoSempere <nuno.semperelh@protonmail.com> | 2024-03-23 21:51:55 -0300 |
commit | 07cae73c7116aee9686432783394eaba2c854ab9 (patch) | |
tree | f41dcb6e3e3d986e10094765dfbe68f2270294cd /user-scripts/valgrind-notes.md | |
parent | ed76b7e9e72cc2c3b5eeef0707638ff39a7cd31a (diff) |
remove extra files
Diffstat (limited to 'user-scripts/valgrind-notes.md')
-rw-r--r-- | user-scripts/valgrind-notes.md | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/user-scripts/valgrind-notes.md b/user-scripts/valgrind-notes.md deleted file mode 100644 index 1fa2e1d..0000000 --- a/user-scripts/valgrind-notes.md +++ /dev/null @@ -1,9 +0,0 @@ -In case you arrive at a segmentation fault when working on rose, you can use valgrind. - -To do this, you can compile rose with the `DEBUG` value in `build.sh` set to `-g` - -and then: - -``` -valgrind --track-origins=yes ./rose -``` |