make-config-h.sh: check for stdint.h header
[girocco.git] / taskd / Girocco
blobf89715721e13241014e1482d5dd62528ceb93e63
1 ../Girocco