#!/bin/sh -eu # This script was used to produce the verneed{1,2}.so files. tmp=$(mktemp -d) echo "v1 {}; v2 {}; v3 {}; { local: *; };" > $tmp/verneed.script cat > $tmp/verneed1.s < $tmp/verneed2.s <