Fix testing-utils Makefile dependency#1468

smowton merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/fix/unit_test_makefile_dependenciessmowton/cbmc:smowton/fix/unit_test_makefile_dependenciesCopy head branch name to clipboard