From bc1f6eb457b60b7aeafd2a69ff786fdcabf0c671 Mon Sep 17 00:00:00 2001
From: Stephen Heumann <stephenheumann@gmail.com>
Date: Sun, 19 Jan 2020 12:44:20 -0600
Subject: [PATCH] Add <stdnoreturn.h> header.

---
 ORCACDefs/stdnoreturn.h | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 ORCACDefs/stdnoreturn.h

diff --git a/ORCACDefs/stdnoreturn.h b/ORCACDefs/stdnoreturn.h
new file mode 100644
index 0000000..939b749
--- /dev/null
+++ b/ORCACDefs/stdnoreturn.h
@@ -0,0 +1,12 @@
+/****************************************************************
+*
+*  stdnoreturn.h - macro for _Noreturn
+*
+****************************************************************/
+
+#ifndef __stdnoreturn__
+#define __stdnoreturn__
+
+#define noreturn _Noreturn
+
+#endif