| commit | 3214c87ccf7f4a3426fe0d30296af1af85fc864e | [log] [tgz] |
|---|---|---|
| author | Rob Landley <rob@landley.net> | Thu Oct 20 15:26:38 2016 -0500 |
| committer | Rob Landley <rob@landley.net> | Thu Oct 20 15:26:38 2016 -0500 |
| tree | 06f41c9a8de7331335d39f97faac067e9b039632 | |
| parent | 354ff6831412eb88c64e9f497a382d926dc7b9bd [diff] |
Always regenerate config.h for now, so make single and make don't clash. The problem is that .config and .singleconfig produce the same header file, so checking that the header is newer than the .config file won't help if it was last generated from the other file.