[ 0:00] + cat [ 0:00] + cat [ 0:00] + dioscc -o name prog.c empty.c [ 0:00] + '[' -s a.out ']' [ 0:00] + '[' -s name ']' [ 0:00] + '[' -x name ']' [ 0:00] + '[' -s prog.o ']' [ 0:00] + '[' -s empty.o ']' [ 0:00] + check debris [ 0:00] + test -e warning