Merge pull request #4076 from urbit/jb/de-scot

u3: disable +scot and +scow jets
This commit is contained in:
Joe Bryan 2020-12-04 17:05:00 -08:00 committed by GitHub
commit 63372a95f1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -944,8 +944,11 @@ static u3j_core _141_qua_d[] =
{ "mole", 7, _141_qua_mole_a, 0, _141_qua_mole_ha },
{ "mule", 7, _141_qua_mule_a, 0, _141_qua_mule_ha },
{ "scot", 7, _141_qua_scot_a, 0, _141_qua_scot_ha },
{ "scow", 7, _141_qua_scow_a, 0, _141_qua_scow_ha },
// XX disabled, implicated in memory corruption
// write tests and re-enable
//
// { "scot", 7, _141_qua_scot_a, 0, _141_qua_scot_ha },
// { "scow", 7, _141_qua_scow_a, 0, _141_qua_scow_ha },
{ "slaw", 7, _141_qua_slaw_a, 0, _141_qua_slaw_ha },
{}
};