diff options
Diffstat (limited to '')
-rw-r--r-- | c/src/make/compilers/Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/c/src/make/compilers/Makefile.in b/c/src/make/compilers/Makefile.in index 013dcb26fe..d488642e79 100644 --- a/c/src/make/compilers/Makefile.in +++ b/c/src/make/compilers/Makefile.in @@ -86,6 +86,8 @@ CXX = @CXX@ CXXCPP = @CXXCPP@ CXX_FOR_TARGET = @CXX_FOR_TARGET@ GCCSED = @GCCSED@ +HAS_MP = @HAS_MP@ +HAS_RDBG = @HAS_RDBG@ INSTALL_CHANGE = @INSTALL_CHANGE@ KSH = @KSH@ LN = @LN@ |