tools/autocheck.awk: Remove dependency on build path
commit536ab4fe5a15437f22646a0836af7075f234934d
authorJiří Zárevúcky <zarevucky.jiri@gmail.com>
Tue, 25 Jun 2019 12:47:52 +0000 (25 14:47 +0200)
committerJiří Zárevúcky <zarevucky.jiri@gmail.com>
Tue, 25 Jun 2019 14:10:35 +0000 (25 16:10 +0200)
tree12d45a4e6a1491fcad8a105b7eb2d1e32cd27418
parent093e956411e17852a3512765596e707c0683f2cc
tools/autocheck.awk: Remove dependency on build path

Instead of #including the header, inline it into the file for greater
flexibility.
tools/autocheck.awk