Hopefully fixed configuration program caused by running an old version of automake.

[splint.git] / lib / Makefile.in

diff --git a/lib/Makefile.in b/lib/Makefile.in
index 55d886fc6e4b4a8a4b7c7e82700ddbae45f83654..45326ae544326e1d279eb68dc35643c311167c82 100644 (file)
--- a/lib/Makefile.in
+++ b/lib/Makefile.in
@@ -55,31 +55,24 @@ POST_INSTALL = :
 NORMAL_UNINSTALL = :
 PRE_UNINSTALL = :
 POST_UNINSTALL = :
+build_alias = @build_alias@
+build_triplet = @build@
 host_alias = @host_alias@
 host_triplet = @host@
-AMTAR = @AMTAR@
-AWK = @AWK@
+target_alias = @target_alias@
+target_triplet = @target@
 BISON = @BISON@
 CAT = @CAT@
 CC = @CC@
 CP = @CP@
 CPP = @CPP@
-DEPDIR = @DEPDIR@
 DIFF = @DIFF@
-EXEEXT = @EXEEXT@
 GREP = @GREP@
-INSTALL_STRIP_PROGRAM = @INSTALL_STRIP_PROGRAM@
 LCLOBJ = @LCLOBJ@
 LEX = @LEX@
 LN_S = @LN_S@
 MV = @MV@
-OBJEXT = @OBJEXT@
-PACKAGE = @PACKAGE@
 RM = @RM@
-VERSION = @VERSION@
-am__include = @am__include@
-am__quote = @am__quote@
-install_sh = @install_sh@
 
 AUTOMAKE_OPTIONS = 1.5 foreign