Browse Source

Ignore a few more warnings

Signed-off-by: falkTX <falktx@falktx.com>
master
falkTX 1 year ago
parent
commit
b1d1087c8a
Signed by: falkTX <falktx@falktx.com> GPG Key ID: CDBAA37ABC74FBA0
1 changed files with 2 additions and 0 deletions
  1. +2
    -0
      plugins/ProM/Makefile

+ 2
- 0
plugins/ProM/Makefile View File

@@ -163,6 +163,8 @@ endif # MACOS
ifeq ($(WINDOWS),true)
BASE_FLAGS += -Wno-cast-function-type
BASE_FLAGS += -Wno-unknown-pragmas
else
BASE_FLAGS += -Wno-unused-function
endif # WIN32

# openmp (optional)


Loading…
Cancel
Save