diff --git a/bootstrap.conf b/bootstrap.conf index 03da267cad..c6f7fd9c7a 100644 --- a/bootstrap.conf +++ b/bootstrap.conf @@ -174,6 +174,7 @@ gnulib_tool_option_extras="\ --with-tests\ --makefile-name=gnulib.mk\ --avoid=pt_chown\ + --avoid=lock-tests\ " local_gl_dir=gnulib/local