diff options
author | 2012-03-23 12:43:21 -0400 | |
---|---|---|
committer | 2012-03-23 12:43:21 -0400 | |
commit | 0e6e840a2ae10b517c3ca19d323d329eb935fc5d (patch) | |
tree | 6777e9173bfae7e9a3637e099df40f909b74ad7c /debian | |
parent | b9098a3e3795f7efc3dc1e9ce2a1aa40e3690df1 (diff) |
Revert "avoid rewriting SysConfig.hs with identical contents"
That made the Makefile want to rebuild the file each time if it's
dependencies were newer, as it was not updated.
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions