diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2018-09-19 08:23:17 -0700 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2018-09-19 08:24:33 -0700 |
commit | da77066f86408588f3bafd9906d1f2caf3a14419 (patch) | |
tree | 5998ebdbfbbc1ab35a1e88cd5868c03dd2ed3183 /bootstrap.conf | |
parent | 123620af88f55c3e0cc9f0aed7311c72f625bc82 (diff) | |
download | grep-da77066f86408588f3bafd9906d1f2caf3a14419.tar.gz |
maint: fix build failure
Problem found by OpenCSW buildbot; the bug also occurs on GNU/Linux
build platforms. The symptom is “system.h:26:24: fatal error:
configmake.h: No such file or directory”. See:
https://buildfarm.opencsw.org/buildbot/builders/ggrep-solaris10-sparc/builds/107
* bootstrap.conf: Add configmake, a dependency that was formerly brought
in only by accident.
Diffstat (limited to 'bootstrap.conf')
-rw-r--r-- | bootstrap.conf | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bootstrap.conf b/bootstrap.conf index e979bb14..1bda31cd 100644 --- a/bootstrap.conf +++ b/bootstrap.conf @@ -29,6 +29,7 @@ argmatch c-ctype c-stack closeout +configmake dfa do-release-commit-and-tag error |