Skip to content

Commit f400825

Browse files
stemanngiordano
andauthored
Apply suggestions from code review
Co-authored-by: Mosè Giordano <[email protected]>
1 parent 5f13057 commit f400825

File tree

1 file changed

+10
-10
lines changed

1 file changed

+10
-10
lines changed

src/Runner.jl

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -1004,31 +1004,31 @@ function generate_compiler_wrappers!(platform::AbstractPlatform; bin_path::Abstr
10041004
write(xcrun_path, """
10051005
#!/bin/sh
10061006
1007-
sdk_path="\$SDKROOT"
1007+
sdk_path="\${SDKROOT}"
10081008
10091009
show_sdk_path() {
1010-
echo "\$1"
1010+
echo "\${1}"
10111011
}
10121012
10131013
show_sdk_version() {
1014-
plistutil -f xml -i "\$1"/SDKSettings.plist \\
1014+
plistutil -f xml -i "\${1}"/SDKSettings.plist \\
10151015
| grep -A1 '<key>Version</key>' \\
10161016
| tail -n1 \\
10171017
| sed -E -e 's/\\s*<string>([^<]+)<\\/string>\\s*/\\1/'
10181018
}
10191019
1020-
while [ \$# -gt 0 ]; do
1021-
case "\$1" in
1020+
while [ "\${#}" -gt 0 ]; do
1021+
case "\${1}" in
10221022
--sdk)
1023-
sdk_path="\$2"
1023+
sdk_path="\${2}"
10241024
shift 2
10251025
;;
10261026
--show-sdk-path)
1027-
show_sdk_path "\$sdk_path"
1027+
show_sdk_path "\${sdk_path}"
10281028
shift
10291029
;;
10301030
--show-sdk-version)
1031-
show_sdk_version "\$sdk_path"
1031+
show_sdk_version "\${sdk_path}"
10321032
shift
10331033
;;
10341034
*)
@@ -1037,8 +1037,8 @@ function generate_compiler_wrappers!(platform::AbstractPlatform; bin_path::Abstr
10371037
esac
10381038
done
10391039
1040-
if [ \$# -gt 0 ]; then
1041-
"\$@"
1040+
if [[ "\${#}" -gt 0 ]]; then
1041+
exec "\${@}"
10421042
fi
10431043
""")
10441044
chmod(xcrun_path, 0o775)

0 commit comments

Comments
 (0)