From 9026a1d4b979514280bebcbbd8dbf6f590f7b6a9 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 5 Apr 2022 16:13:20 +0200
Subject: [PATCH] [clang2ir] do not warn about unknown option: assume clang
 will handle it

---
 FramaCIRGen.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/FramaCIRGen.cpp b/FramaCIRGen.cpp
index c4f0dd0..981c170 100644
--- a/FramaCIRGen.cpp
+++ b/FramaCIRGen.cpp
@@ -203,7 +203,7 @@ ProcessArguments::process(char** argument, int& currentArgument) {
           _doesGenerateImplicitMethods=true;
           --currentArgument;
         } else {
-          std::cout << "Ignore unknown argument: " << argument[0] << std::endl;
+          // Let clang handle it directly
           --currentArgument;
         }
         return true;
-- 
GitLab