diff options
Diffstat (limited to 'autogen.sh')
| -rwxr-xr-x | autogen.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/autogen.sh b/autogen.sh index 5b9a02e22..00c1236f2 100755 --- a/autogen.sh +++ b/autogen.sh @@ -162,7 +162,6 @@ if ! $skip_gnulib; then open openmp ostream - pipe pipe-filter-ii progname propername @@ -171,6 +170,7 @@ if ! $skip_gnulib; then sh-quote sigpipe sigprocmask + spawn-pipe stdbool stdio stdlib |