diff --git a/BUILDING b/BUILDING index 19f637074225cfa9cc26a2583da2b654ec0f1deb..a1134e87a81cc32391d33a3950670218591630a3 100644 --- a/BUILDING +++ b/BUILDING @@ -669,4 +669,9 @@ was compiled properly. A full set of builds via build.sh might be good at this point too. Some of the details for each command may have changed; You can get -help for each command by using the -h argument. \ No newline at end of file +help for each command by using the -h argument. + +In particular steps 3, 4, and 5 can be combined into one by using the +-c, -r, and -l options for cross-build-world.sh. The -c option cleans +out the targe and cross directories; -r does step 4; and -l does step +5.