2020-07-01 14:12:03 +02:00
|
|
|
#!/bin/sh
|
|
|
|
# profiling script for profile-guided-optimizations (PGO)
|
|
|
|
# must be fully deterministic in what it does for reproducible builds
|
|
|
|
# should cover most code for good PGO optimization benefit
|
|
|
|
# See https://github.com/bmwiedemann/theunreproduciblepackage/tree/master/pgo
|
|
|
|
# for background information on PGO reproducibility
|
|
|
|
|
|
|
|
grep=src/grep
|
|
|
|
t=COPYING
|
|
|
|
exec > /dev/null
|
2021-08-16 14:20:25 +02:00
|
|
|
for param in "" -v -i -h -H -l -L -q -n -Z -E -F -P -e -w -c -o; do
|
|
|
|
$grep $param "GNU" $t
|
|
|
|
$grep $param "G.*U" $t
|
2020-07-01 14:12:03 +02:00
|
|
|
done
|