JITImpl/GCC/GCCJIT.cpp: add -Wno-unused-label

tum-ei-eda · May 8, 2024 · d3ddd11 · d3ddd11
1 parent da33af2
commit d3ddd11
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/JITImpl/GCC/GCCJIT.cpp b/JITImpl/GCC/GCCJIT.cpp
@@ -115,7 +115,7 @@ void *GCCJIT::translate(std::string code, std::set<std::string> headerpaths, std
     std::stringstream ss;
     ss << "gcc -c -std=c99 -fPIC -march=native -mtune=native -pipe ";
     if (debug)
-        ss << "-g -O0 -Wall ";
+        ss << "-g -O0 -Wall -Wno-unused-label ";
     else
         ss << "-Ofast ";
     for (std::set<std::string>::const_iterator iter = headerpaths.begin(); iter != headerpaths.end(); iter++)