File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -14,7 +14,7 @@ mkdir -p ./third_party
1414if [[ ! -d ./third_party/mason ]]; then
1515 mkdir -p ./third_party/mason
1616 echo " Downloading Mason @${MASON_RELEASE} "
17- curl -vsSfL https://github.com/mapbox/mason/archive/${MASON_RELEASE} .tar.gz | tar --gunzip --extract --strip-components=1 --directory=./third_party/mason
17+ curl -sSfL https://github.com/mapbox/mason/archive/${MASON_RELEASE} .tar.gz | tar --gunzip --extract --strip-components=1 --directory=./third_party/mason
1818 echo " Mason @${MASON_RELEASE} unpacked to ./third_party/mason"
1919fi
2020
@@ -37,7 +37,7 @@ if [ "$(uname -s)" == 'Darwin' ]; then
3737else
3838 STRIP_CMD=" strip --strip-unneeded"
3939fi
40- pwd
40+
4141for path in $( find $( pwd) /mason_packages -type f -name ' libortools.*' ) ; do
4242 echo " stripping debug symbols from ${path} "
4343 $STRIP_CMD $path
You can’t perform that action at this time.
0 commit comments