mirror of
https://github.com/servo/servo.git
synced 2025-07-12 09:53:40 +01:00
Auto merge of #12736 - aneeshusa:prohibit-backticks-in-shell-scripts, r=Wafflespeanut
Add more shell script lints <!-- Please describe your changes on the following line: --> The "$(some_command arg1 arg2)" form is preferred to the `some_command arg1 arg2` form because it nests unambiguously. Add a lint for this to tidy. --- <!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `__` with appropriate data: --> - [x] `./mach build -d` does not report any errors - [x] `./mach test-tidy` does not report any errors - [ ] These changes fix #__ (github issue number if applicable). <!-- Either: --> - [x] There are tests for these changes OR - [ ] These changes do not require tests because _____ <!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. --> <!-- Reviewable:start --> --- This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/12736) <!-- Reviewable:end -->
This commit is contained in:
commit
aa900b91aa
10 changed files with 63 additions and 35 deletions
|
@ -9,7 +9,7 @@ set -o nounset
|
|||
set -o pipefail
|
||||
|
||||
TARGET_DIR="${OUT_DIR}/../../.."
|
||||
arm-linux-androideabi-gcc "$@" \
|
||||
arm-linux-androideabi-gcc "${@}" \
|
||||
"${LDFLAGS-}" -lc -shared \
|
||||
-o "${TARGET_DIR}/libservo.so"
|
||||
touch "${TARGET_DIR}/servo"
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue