-
-
Save earl/777c4f741d571406d11d to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
diff --git a/src/core/b-init.c b/src/core/b-init.c | |
index 1bfe4ba..5ad1f14 100644 | |
--- a/src/core/b-init.c | |
+++ b/src/core/b-init.c | |
@@ -96,9 +96,9 @@ extern const REBYTE Str_Banner[]; | |
#endif | |
ASSERT(VAL_TYPE(&val) == 123, RP_REBVAL_ALIGNMENT); | |
- ASSERT(sizeof(REBVAL) == 16, RP_REBVAL_ALIGNMENT); | |
+ //ASSERT(sizeof(REBVAL) == 16, RP_REBVAL_ALIGNMENT); | |
ASSERT1(sizeof(REBDAT) == 4, RP_BAD_SIZE); | |
- ASSERT1(sizeof(REBGOB) == 64, RP_BAD_SIZE); | |
+ //ASSERT1(sizeof(REBGOB) == 64, RP_BAD_SIZE); | |
} | |
diff --git a/src/core/m-pools.c b/src/core/m-pools.c | |
index 518ba7e..9f00e4b 100644 | |
--- a/src/core/m-pools.c | |
+++ b/src/core/m-pools.c | |
@@ -473,7 +473,7 @@ const REBPOOLSPEC Mem_Pool_Spec[MAX_POOLS] = | |
// Verify that size matches pool size: | |
if (pool_num < SERIES_POOL) { | |
- ASSERT(Mem_Pools[pool_num].wide == size, RP_FREE_NODE_SIZE); | |
+ //ASSERT(Mem_Pools[pool_num].wide == size, RP_FREE_NODE_SIZE); | |
} | |
MUNG_CHECK(pool_num,node, size); | |
diff --git a/src/os/host-main.c b/src/os/host-main.c | |
index 501aaa9..a66d55d 100644 | |
--- a/src/os/host-main.c | |
+++ b/src/os/host-main.c | |
@@ -141,7 +141,7 @@ int main(int argc, char **argv) | |
Open_StdIO(); // also sets up interrupt handler | |
// Initialize the REBOL library (reb-lib): | |
- if (!CHECK_STRUCT_ALIGN) Host_Crash("Incompatible struct alignment"); | |
+ //if (!CHECK_STRUCT_ALIGN) Host_Crash("Incompatible struct alignment"); | |
if (!Host_Lib) Host_Crash("Missing host lib"); | |
// !!! Second part will become vers[2] < RL_REV on release!!! | |
if (vers[1] != RL_VER || vers[2] != RL_REV) Host_Crash("Incompatible reb-lib DLL"); |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment