diff options
-rwxr-xr-x | tools/configure | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/configure b/tools/configure index b0f54e96c4..16fb39cb32 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -1542,6 +1542,7 @@ help: | |||
1542 | @echo "A few helpful make targets" | 1542 | @echo "A few helpful make targets" |
1543 | @echo "" | 1543 | @echo "" |
1544 | @echo "all - builds a full Rockbox (default), including tools" | 1544 | @echo "all - builds a full Rockbox (default), including tools" |
1545 | @echo "bin - builds only the Rockbox.<target name> file" | ||
1545 | @echo "clean - cleans a build directory (not tools)" | 1546 | @echo "clean - cleans a build directory (not tools)" |
1546 | @echo "veryclean - cleans the build and tools directories" | 1547 | @echo "veryclean - cleans the build and tools directories" |
1547 | @echo "manual - builds a manual" | 1548 | @echo "manual - builds a manual" |