$(shell echo "Top-level executed" > toplevel.mark)