diff --git a/docs/debugging.md b/docs/debugging.md index 83fbda1b3..7a400161b 100644 --- a/docs/debugging.md +++ b/docs/debugging.md @@ -4,8 +4,8 @@ While developing your build script, it may be useful to run bash within the container: ```bash -$ python infra/helper.py shell $TARGET_NAME # runs /bin/bash within container -$ compile # run compilation manually +$ python infra/helper.py shell $PROJECT_NAME # runs /bin/bash within container +$ compile # run compilation manually ``` ## Debugging Fuzzers with GDB