diff options
| -rw-r--r-- | README.md | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/README.md b/README.md index 23a18ba80a2..8e8210422b9 100644 --- a/README.md +++ b/README.md @@ -143,9 +143,14 @@ real-world use, add the `--release` flag to create an optimized build: ``` sh git clone https://github.com/servo/servo cd servo -ANDROID_TOOLCHAIN=/path/to/toolchain ANDROID_NDK=/path/to/ndk PATH=$PATH:/path/to/toolchain/bin ./mach build --android -cd ports/android -ANDROID_SDK=/path/to/sdk make install + +export ANDROID_SDK="/path/to/sdk" +export ANDROID_NDK="/path/to/ndk" +export ANDROID_TOOLCHAIN="/path/to/toolchain" +export PATH="$PATH:/path/to/toolchain/bin" + +./mach build --release --android +./mach package --release ``` Rather than setting the `ANDROID_*` environment variables every time, you can |