We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent ebaf98d commit f979613Copy full SHA for f979613
package_z3_osx.sh
@@ -18,7 +18,6 @@ if ! which javac; then
18
fi
19
OLD_PWD="${PWD}"
20
OLD_UMASK="$(umask)"
21
-VERSION="${COMMIT_DATE}-${COMMIT_HASH}"
22
OSX_VERSION="$(sw_vers | grep ProductVersion | awk '{ print $2; }')"
23
if [ -z "${BREW_LLVM_PREFIX}" ]; then
24
NO_OPENMP_SUFFIX="-without-openmp"
0 commit comments