diff options
-rw-r--r-- | docs/ide-support.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/ide-support.md b/docs/ide-support.md index 6c280bcb87..fd8422eee7 100644 --- a/docs/ide-support.md +++ b/docs/ide-support.md @@ -97,7 +97,7 @@ manually enabled following these steps. ```bash (chroot) $ cd ~/chromiumos/chromite/ide_tooling/scripts - python compdb_no_chroot.py /home/${USER}/chromiumos \ + python compdb_no_chroot.py ${EXTERNAL_TRUNK_PATH} \ < ~/chromiumos/src/platform/ec/compile_commands_inside_chroot.json \ > ~/chromiumos/src/platform/ec/compile_commands.json ``` |