diff options
| -rw-r--r-- | Makeconfig | 3 | ||||
| -rw-r--r-- | config.make.in | 1 |
2 files changed, 4 insertions, 0 deletions
diff --git a/Makeconfig b/Makeconfig index 74192b408c..aa5570a3fc 100644 --- a/Makeconfig +++ b/Makeconfig @@ -322,6 +322,9 @@ endif ifndef INSTALL_DATA INSTALL_DATA = $(INSTALL) -m 644 endif +ifndef INSTALL_SCRIPT +INSTALL_SCRIPT = $(INSTALL) +endif ifndef INSTALL_PROGRAM INSTALL_PROGRAM = $(INSTALL) endif diff --git a/config.make.in b/config.make.in index cd050722e1..625e328bc8 100644 --- a/config.make.in +++ b/config.make.in @@ -88,6 +88,7 @@ BISON = @BISON@ # Installation tools. INSTALL = @INSTALL@ INSTALL_PROGRAM = @INSTALL_PROGRAM@ +INSTALL_SCRIPT = @INSTALL_SCRIPT@ INSTALL_DATA = @INSTALL_DATA@ INSTALL_INFO = @INSTALL_INFO@ OLD_DEBIAN_INSTALL_INFO = @OLD_DEBIAN_INSTALL_INFO@ |