Path: blob/develop/scripts/fixGhcjsProfilingOutput
1 views
#!/usr/bin/env bash set -euo pipefail sed -i 's/\bh\$\([a-yA-Z0-9]\|z[^u]\)*zu\([a-zA-Z0-9]*zucc\)\b/h$\2/g' "$1"
#!/usr/bin/env bash set -euo pipefail sed -i 's/\bh\$\([a-yA-Z0-9]\|z[^u]\)*zu\([a-zA-Z0-9]*zucc\)\b/h$\2/g' "$1"