15dec78d0c2663930cd1bbcecbbcee47f68bc52f3Elliott Hughes#!/bin/sh 25dec78d0c2663930cd1bbcecbbcee47f68bc52f3Elliott Hughes 35dec78d0c2663930cd1bbcecbbcee47f68bc52f3Elliott Hughes# Ensure that strace -f works. 45dec78d0c2663930cd1bbcecbbcee47f68bc52f3Elliott Hughes 55dec78d0c2663930cd1bbcecbbcee47f68bc52f3Elliott Hughes. "${srcdir=.}/init.sh" 65dec78d0c2663930cd1bbcecbbcee47f68bc52f3Elliott Hughes 75dec78d0c2663930cd1bbcecbbcee47f68bc52f3Elliott Hughestime=/usr/bin/time 85dec78d0c2663930cd1bbcecbbcee47f68bc52f3Elliott Hughescheck_prog $time 95dec78d0c2663930cd1bbcecbbcee47f68bc52f3Elliott Hughes 105dec78d0c2663930cd1bbcecbbcee47f68bc52f3Elliott Hughes$STRACE -f $time /bin/ls > $LOG 2>&1 || 115dec78d0c2663930cd1bbcecbbcee47f68bc52f3Elliott Hughes { cat $LOG; fail_ 'strace -f does not work'; } 12