diff options
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 -``` |