From: Bruno Haible Date: Fri, 12 Apr 2019 19:39:49 +0000 (+0200) Subject: openmp: Fix compilation error on platforms without OpenMP. X-Git-Tag: v1.0~4986 X-Git-Url: https://gitweb.git.savannah.gnu.org/gitweb/?a=commitdiff_plain;h=ba61bd3ba2d450a2c23d52e623a27cd94450cb94;p=gnulib.git openmp: Fix compilation error on platforms without OpenMP. * lib/omp-init.c: Include only if _OPENMP. --- diff --git a/ChangeLog b/ChangeLog index 427c68fd98..747fd2fcc2 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2019-04-12 Bruno Haible + + openmp: Fix compilation error on platforms without OpenMP. + * lib/omp-init.c: Include only if _OPENMP. + 2019-04-09 Bernhard Voelker mountlist: make parsing /proc/self/mountinfo more robust diff --git a/lib/omp-init.c b/lib/omp-init.c index f849067374..0256d29a7a 100644 --- a/lib/omp-init.c +++ b/lib/omp-init.c @@ -17,8 +17,12 @@ #include +#ifdef _OPENMP + /* Specification. */ -#include +# include + +#endif #include