In the top-level Makefile, call do_checkout.sh from the "make checkout" target.
Attach a file by drag & drop or click to upload
