[ 0:01] + cat [ 0:01] + cat [ 0:01] + divine cc --dont-link a.c b.c [ 0:01] compiling a.c [ 0:01] compiling b.c [ 0:01] + llvm-nm a.bc [ 0:01] + grep dont_link_test_foo [ 0:01] ---------------- T dont_link_test_foo [ 0:01] + llvm-nm b.bc [ 0:01] + grep dont_link_test_bar [ 0:01] ---------------- T dont_link_test_bar [ 0:01] + llvm-nm a.bc [ 0:01] + grep dont_link_test_bar [ 0:01] + llvm-nm b.bc [ 0:01] + grep dont_link_test_foo [ 0:01] + check debris [ 0:01] + test -e warning