/SPARTAN/trunk/src/Makefile.config |
---|
14,7 → 14,7 |
#NDEBUG=__NDEBUG__ |
# Deadlock detection support for spinlocks. |
#DEBUG_SPINLOCK=DEBUG_SPINLOCK |
DEBUG_SPINLOCK=DEBUG_SPINLOCK |
# Uncomment if you want to compile in userspace support |
#USERSPACE=__USERSPACE__ |