[PATCH] Fix Linux fcntl OFD locks on unsupported kernels

[Andreas Schwab]

On Jul 27 2018, Adhemerval Zanella <adhemerval.zanella@linaro.org> wrote:

> +    FAIL_UNSUPPORTED ("fcntl (F_OFD_SETLKW) not supported)");

Extra paren.

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510  2552 DF73 E780 A9DA AEC1
"And now for something completely different."