diff options
-rwxr-xr-x | tools/configure | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/configure b/tools/configure index 28f7813ec8..d20647aab9 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -2017,6 +2017,7 @@ help: | |||
2017 | @echo "" | 2017 | @echo "" |
2018 | @echo "all - builds a full Rockbox (default), including tools" | 2018 | @echo "all - builds a full Rockbox (default), including tools" |
2019 | @echo "bin - builds only the Rockbox.<target name> file" | 2019 | @echo "bin - builds only the Rockbox.<target name> file" |
2020 | @echo "rocks - builds only plugins and codecs" | ||
2020 | @echo "clean - cleans a build directory (not tools)" | 2021 | @echo "clean - cleans a build directory (not tools)" |
2021 | @echo "veryclean - cleans the build and tools directories" | 2022 | @echo "veryclean - cleans the build and tools directories" |
2022 | @echo "manual - builds a manual" | 2023 | @echo "manual - builds a manual" |