From 39005cfce92873fbd3f3acab09ee654388fcb313 Mon Sep 17 00:00:00 2001
From: Paul Eggert <eggert@cs.ucla.edu>
Date: Fri, 23 Aug 2024 21:06:51 -0700
Subject: [PATCH] Move skip_spaces

* src/pch.c (skip_spaces): Move here ...
* src/util.h: ... from here, since it is used only in pch.c.
No need for it to be declared inline.
---
 src/pch.c  | 8 ++++++++
 src/util.h | 8 --------
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/src/pch.c b/src/pch.c
index 9eae5eb..3e544e0 100644
--- a/src/pch.c
+++ b/src/pch.c
@@ -390,6 +390,14 @@ skip_hex_digits (char const *str)
   return s == str ? NULL : s;
 }
 
+static char const * _GL_ATTRIBUTE_PURE
+skip_spaces (char const *str)
+{
+  while (isspace ((unsigned char) *str))
+    str++;
+  return str;
+}
+
 static bool
 name_is_valid (char const *name)
 {
diff --git a/src/util.h b/src/util.h
index f4e5258..71e219c 100644
--- a/src/util.h
+++ b/src/util.h
@@ -81,12 +81,4 @@ enum file_attributes {
 void set_file_attributes (char const *, enum file_attributes, char const *,
 			  const struct stat *, mode_t, struct timespec *);
 
-static inline char const * _GL_ATTRIBUTE_PURE
-skip_spaces (char const *str)
-{
-  while (isspace ((unsigned char) *str))
-    str++;
-  return str;
-}
-
 int make_tempfile(char const **, char, char const *, int, mode_t);