diff options
author | Joey Hess <joeyh@joeyh.name> | 2017-02-21 13:55:41 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2017-02-21 13:55:41 -0400 |
commit | 3dc6aa3f53dc17573996a3ceae32f80dfd9e7094 (patch) | |
tree | bc322da268f304c0c7324d6816e49367a6cbd4e2 /Utility/LockFile/Windows.hs | |
parent | 5c71414c88ec116be7ef78d4806d0ab4bdcfa4a3 (diff) |
remove Build/SysConfig.hs target
The problem with that target was, if a target like git-annex that
depended on it failed for some reason, make would delete
Build/SysConfig.hs, since it knows it's an intermediate file. But, since
stack only builds that file once, that caused all subsequent make git-annex
builds to fail.
Also, this avoids a double stack build when building with stack. Since
stack has no configure stage, and the Build/SysConfig.hs target was
about running the configure stage, the only way to only build once is to
combine the targets like this.
This should work better on the autobuilders that build with stack.
This commit was sponsored by NSF-funded DataLad project
Diffstat (limited to 'Utility/LockFile/Windows.hs')
0 files changed, 0 insertions, 0 deletions