diff options
Diffstat (limited to 'Build/source/texk/web2c/configure.ac')
-rw-r--r-- | Build/source/texk/web2c/configure.ac | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/configure.ac b/Build/source/texk/web2c/configure.ac index a1989b78bdd..3af59775e51 100644 --- a/Build/source/texk/web2c/configure.ac +++ b/Build/source/texk/web2c/configure.ac @@ -376,6 +376,7 @@ AC_CONFIG_FILES([Makefile doc/Makefile lib/Makefile man/Makefile AC_CONFIG_FILES([web2c-sh], [chmod +x web2c-sh]) AC_CONFIG_FILES([tangle-sh], [chmod +x tangle-sh]) AC_CONFIG_FILES([ctangleboot-sh], [chmod +x ctangleboot-sh]) +AC_CONFIG_FILES([silent-sh], [chmod +x silent-sh]) dnl The subdirectory web2c must be configured for the build system. dnl When cross compiling, can not share the cache file with the subdirectory! |