Index: src/libcfa/startup.c
===================================================================
--- src/libcfa/startup.c	(revision a95c11749598f00148729214ecd78417a38fca57)
+++ src/libcfa/startup.c	(revision 303c61de56a413b4aca7b1054bd8b5d9a082f2d2)
@@ -1,10 +1,10 @@
-// 
+//
 // Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
 //
 // The contents of this file are covered under the licence agreement in the
 // file "LICENCE" distributed with Cforall.
-// 
-// startup.c -- 
-// 
+//
+// startup.c --
+//
 // Author           : Peter A. Buhr
 // Created On       : Tue Jul 24 16:21:57 2018
@@ -12,5 +12,5 @@
 // Last Modified On : Wed Jul 25 16:42:01 2018
 // Update Count     : 11
-// 
+//
 
 #include "startup.h"
@@ -39,4 +39,6 @@
 } // extern "C"
 
+void __cfaabi_dbg_record(struct __spinlock_t & this, const char * prev_name) __attribute__(( weak )) {}
+
 // Local Variables: //
 // mode: c //