diff options
Diffstat (limited to '')
| -rw-r--r-- | m4/write-any-file.m4 | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/m4/write-any-file.m4 b/m4/write-any-file.m4 new file mode 100644 index 0000000..659c845 --- /dev/null +++ b/m4/write-any-file.m4 @@ -0,0 +1,14 @@ +# Determine whether we can write any file. + +# Copyright (C) 2007, 2009-2020 Free Software Foundation, Inc. +# +# This file is free software; the Free Software Foundation +# gives unlimited permission to copy and/or distribute it, +# with or without modifications, as long as this notice is preserved. + +# Written by Paul Eggert. + +AC_DEFUN([gl_WRITE_ANY_FILE], +[ + AC_CHECK_HEADERS_ONCE([priv.h]) +]) |