File: copy-profiling-data.sh

package info (click to toggle)
webkit2gtk 2.42.2-1~deb11u1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 362,432 kB
  • sloc: cpp: 2,881,947; javascript: 282,447; ansic: 134,088; python: 43,789; ruby: 18,308; perl: 15,872; asm: 14,389; xml: 4,395; yacc: 2,350; sh: 2,074; java: 1,734; lex: 1,323; makefile: 296; pascal: 60
file content (14 lines) | stat: -rwxr-xr-x 557 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
#!/bin/sh

# Decompresses and copies PGO profiles from WebKitAdditions to a derived folder.

if [ "${CLANG_USE_OPTIMIZATION_PROFILE}" = YES ]; then
    compression_tool -v -decode -i "${SCRIPT_INPUT_FILE_0}" -o "${SCRIPT_OUTPUT_FILE_0}" && exit
    if [ "${CONFIGURATION}" = Production ]; then
        echo "error: ${SCRIPT_INPUT_FILE_0} failed to extract"
        exit 1
    else
        echo "warning: ${SCRIPT_INPUT_FILE_0} failed to extract, falling back to stub profile data"
        cp -vf "${SCRIPT_INPUT_FILE_1}" "${SCRIPT_OUTPUT_FILE_0}"
    fi
fi