diff options
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/Makefile.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/scripts/Makefile.in b/scripts/Makefile.in index 203a74b3..034071d8 100644 --- a/scripts/Makefile.in +++ b/scripts/Makefile.in @@ -208,6 +208,7 @@ PACKAGE_TARNAME = @PACKAGE_TARNAME@ PACKAGE_URL = @PACKAGE_URL@ PACKAGE_VERSION = @PACKAGE_VERSION@ PATH_SEPARATOR = @PATH_SEPARATOR@ +PTHREAD_LIB = @PTHREAD_LIB@ RANLIB = @RANLIB@ SED = @SED@ SET_MAKE = @SET_MAKE@ @@ -254,8 +255,6 @@ localstatedir = @localstatedir@ mandir = @mandir@ mkdir_p = @mkdir_p@ oldincludedir = @oldincludedir@ -os_cflags = @os_cflags@ -os_libs = @os_libs@ pdfdir = @pdfdir@ prefix = @prefix@ program_transform_name = @program_transform_name@ |