diff --git a/BUILDING b/BUILDING index 16d1dfb59e7bbe8fe6d6d88b2ae085b1e4facb0e..80fd48a4e7a352fdb42bb65c2c57ffe99d5a422e 100644 --- a/BUILDING +++ b/BUILDING @@ -694,3 +694,4 @@ 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. +===============