8 lines
128 B
Bash
Executable file
8 lines
128 B
Bash
Executable file
#!/bin/sh
|
|
|
|
set -eux
|
|
|
|
srcdir=$(realpath "${1}")
|
|
blddir=$(realpath "${2}")
|
|
|
|
"${srcdir}"/pgo/full-inner.sh "${srcdir}" "${blddir}"
|