From f00f5a74ed0b5d61d6dac3d4e781560ccbfa4263 Mon Sep 17 00:00:00 2001
From: Zuzana Baranova <xbaranov@fi.muni.cz>
Date: Sun, 23 Jun 2019 08:19:02 +0000
Subject: [PATCH] tools: Use cc::Native in divcc, not NativeDiosCC.
---
tools/divcc.cpp | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/tools/divcc.cpp b/tools/divcc.cpp
index 403469350..1b89425b0 100644
--- a/tools/divcc.cpp
+++ b/tools/divcc.cpp
@@ -30,8 +30,7 @@ using namespace divine;
int main( int argc, char **argv )
{
try {
- rt::NativeDiosCC nativeCC( { argv + 1, argv + argc } );
- nativeCC.set_cxx( brick::string::endsWith( argv[0], "divc++" ) );
+ cc::Native nativeCC( { argv + 1, argv + argc } );
auto& po = nativeCC._po;
if ( po.hasHelp || po.hasVersion )
--
GitLab