make: Clean includes/settings file

Authored by bgamari on Jun 14 2019, 4:23 PM.

Description

make: Clean includes/settings file

Now since this is generated by the build system we should ensure that it
is properly cleaned.

[skip ci]

Details

Committed
Marge Bot <ben+marge-bot@smart-cactus.org>Jun 17 2019, 12:20 AM
Parents
rGHCb965de1ef0e2: Use TupleSections in CmmParse.y, simplify a few exprs
Branches
Unknown
Tags
Unknown
Marge Bot <ben+marge-bot@smart-cactus.org> committed rGHC63965ae3a3aa: make: Clean includes/settings file (authored by bgamari).Jun 17 2019, 12:20 AM