build: Configure: remove temp files.
authorJan Nieuwenhuizen <janneke@gnu.org>
Mon, 18 Feb 2019 06:22:50 +0000 (07:22 +0100)
committerJan Nieuwenhuizen <janneke@gnu.org>
Mon, 18 Feb 2019 06:22:50 +0000 (07:22 +0100)
commitd7159d607a322130b3168d3ab5c5abb7776c4feb
tree0f26533f64b67756315e645417ec6ddca7062979
parent6eaba711617f96982df0efd8644b2c9542b2430f
build: Configure: remove temp files.

* configure (gulp-pipe*): Remove .error.
(check-header-c): Remove .config.c.
(check-compile-c): Likewise.
(check-link-c): Likewise.
configure