{"shas":[["66187e879e2f184a98412a2a92c1afae795fd482","e03ccfb89d416c4697ad6970ce86a92c1c28a78e@gmail.com","Slightly improve the \"if target already existed\" rule to ignore directories.\n\nSo if you have a default.do, it might be used to build mydir, even if mydir\nalready existed when we started.\n\nThis might be useful if you have a mydir.setup.do and a mydir.do; mydir.do\ndepends on mydir.setup.do, but mydir.setup.do creates mydir, it just doesn't\n*finish* with mydir.  Still, my the time mydir.do runs, mydir already\nexists, and redo would get confused.\n\nI think directories are fundamentally special in this way, because it makes\nsense to \"create\" a directory even if that directory isn't \"done\" at this\nphase.","Avery Pennarun"]],"ref":"refs/heads/master","push_id":20955911,"head":"66187e879e2f184a98412a2a92c1afae795fd482","size":1}