Merge pull request #102 from project-everest/_taramana_krml_host_ignore

Define KRML_HOST_IGNORE to mark unused arguments
project-everest · Oct 2, 2023 · cc5923f · cc5923f
2 parents eaf69dc + f564ec8
commit cc5923f
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/src/3d/EverParseEndianness.h b/src/3d/EverParseEndianness.h
@@ -36,6 +36,10 @@ extern "C" {
 typedef const char * EVERPARSE_STRING;
 typedef EVERPARSE_STRING PRIMS_STRING;
 
+#ifndef KRML_HOST_IGNORE
+#  define KRML_HOST_IGNORE(x) (void)(x);
+#endif
+
 #ifndef KRML_HOST_PRINTF
 #  include <stdio.h>
 #  define KRML_HOST_PRINTF printf

diff --git a/src/3d/EverParseEndianness_Windows_NT.h b/src/3d/EverParseEndianness_Windows_NT.h
@@ -37,6 +37,10 @@ nswamy, protz, taramana 5-Feb-2020
 typedef const char * EVERPARSE_STRING;
 typedef EVERPARSE_STRING PRIMS_STRING;
 
+#ifndef KRML_HOST_IGNORE
+#  define KRML_HOST_IGNORE(x) (void)(x);
+#endif
+
 #ifndef KRML_HOST_PRINTF
 #  include <stdio.h>
 #  define KRML_HOST_PRINTF printf