Commit 7ae823c0 authored by Ralf Jung's avatar Ralf Jung
Browse files

don't try to be quite so clever with mangling

parent fc6f4956
......@@ -28,8 +28,7 @@ env | egrep '^(CI_BUILD_REF|CI_RUNNER)' > build-env.txt
# maybe set some coq flags
if [[ -n "$MANGLE_NAMES" ]]; then
PREFIX=$(cat /dev/urandom | tr -dc 'a-z' | fold -w 12 | head -n 1)
export COQEXTRAFLAGS="$COQEXTRAFLAGS -mangle-names mangled_$PREFIX_"
export COQEXTRAFLAGS="$COQEXTRAFLAGS -mangle-names mangled_"
# Build
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment