diff --git a/exec/Makefile.in b/exec/Makefile.in index 9febc585f4f..36f0c0c74a9 100644 --- a/exec/Makefile.in +++ b/exec/Makefile.in @@ -1,4 +1,4 @@ -s### @configure_input@ +### @configure_input@ # Copyright (C) 2023-2024 Free Software Foundation, Inc.