diff options
author | Gilles Roudière <gilles.roudiere@gmail.com> | 2022-10-12 16:21:34 +0200 |
---|---|---|
committer | Gilles Roudière <gilles.roudiere@gmail.com> | 2022-10-13 10:03:30 +0200 |
commit | 55010a2d9f91798f08bd2deded9445a4354ee3ee (patch) | |
tree | 11f6e7ffd2b58e8fce6b570bfa02d7db97f5fc37 /misc/dist/shell/godot.bash-completion | |
parent | 5aadc618b6ff152dbc0ca4ea901c34a97e164091 (diff) |
Implement a way to dump the gdnative_interface.h file from the executable
Diffstat (limited to 'misc/dist/shell/godot.bash-completion')
-rw-r--r-- | misc/dist/shell/godot.bash-completion | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/misc/dist/shell/godot.bash-completion b/misc/dist/shell/godot.bash-completion index bc5fa600f5..871c8f8eac 100644 --- a/misc/dist/shell/godot.bash-completion +++ b/misc/dist/shell/godot.bash-completion @@ -86,6 +86,7 @@ _complete_godot_options() { --doctool --no-docbase --build-solutions +--dump-gdextension-interface --dump-extension-api --test " -- "$1")) |