diff options
Diffstat (limited to '.vscode/settings.json')
| -rw-r--r-- | .vscode/settings.json | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/.vscode/settings.json b/.vscode/settings.json index 9338cfa..cfba6a6 100644 --- a/.vscode/settings.json +++ b/.vscode/settings.json @@ -26,12 +26,6 @@ "cmake.configureOnOpen": true, "cmake.ctest.testExplorerIntegrationEnabled": false, - "cmake.configureArgs": [ - "-DCMAKE_EXPORT_COMPILE_COMMANDS=YES", - "-DCMAKE_INSTALL_PREFIX=${env:HOME}/.local", - "-DTURNS_USE_INSTALLED_TRANSLATIONS=OFF", - "-DTURNS_USE_INSTALLED_SCHEMA_FILES=OFF" - ], "C_Cpp.autoAddFileAssociations": false, "C_Cpp.codeAnalysis.clangTidy.enabled": false, |