[sw] track cheriot-baremetal #define The toolchain now emits __CHERIOT_BAREMETAL__ instead of _CHERIOT_BAREMETAL_. Change-Id: I719b248afca49ab826822259b747b328263b2394
diff --git a/sw/device/lib/base/memory.h b/sw/device/lib/base/memory.h index c4a1682..d895dd5 100644 --- a/sw/device/lib/base/memory.h +++ b/sw/device/lib/base/memory.h
@@ -18,7 +18,7 @@ #include <stdint.h> // NB: --mabi=cheriot-baremetal generates direct C calls & unmangled symbols -#ifdef _CHERIOT_BAREMETAL_ +#ifdef __CHERIOT_BAREMETAL__ #undef __cheri_libcall #define __cheri_libcall #endif