-
Joey Hess authored
Otherwise, make reconfigures every time and then rebuilds all files. I went too far in 3af9f5ed. All that's needed is to make the configure target not use Build/SysConfig.hs as the target name, so make won't delete that file after a failed build. This commit was supported by the NSF-funded DataLad project