diff options
Diffstat (limited to 'Ada95/include/Makefile.in')
| -rw-r--r-- | Ada95/include/Makefile.in | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Ada95/include/Makefile.in b/Ada95/include/Makefile.in index 89bb27d2b65b..1bb1aa6adb9e 100644 --- a/Ada95/include/Makefile.in +++ b/Ada95/include/Makefile.in @@ -1,6 +1,6 @@ -# $Id: Makefile.in,v 1.7 2021/07/03 15:45:33 tom Exp $ +# $Id: Makefile.in,v 1.8 2025/10/18 15:23:07 tom Exp $ ############################################################################## -# Copyright 2020,2021 Thomas E. Dickey # +# Copyright 2020-2021,2025 Thomas E. Dickey # # Copyright 2010-2015,2018 Free Software Foundation, Inc. # # # # Permission is hereby granted, free of charge, to any person obtaining a # @@ -44,7 +44,8 @@ SHELL = @SHELL@ VPATH = @srcdir@ THIS = Makefile -DESTDIR = @DESTDIR@ +@SET_DESTDIR@ + srcdir = @srcdir@ prefix = @prefix@ exec_prefix = @exec_prefix@ |