From 24fc4dd899b79a8e2f30e5088bd9fcea34d99923 Mon Sep 17 00:00:00 2001
From: Jakub Jelinek <jakub@redhat.com>
Date: Mon, 30 Jan 2017 15:26:24 +0100
Subject: [PATCH] * mpxrt/mpxrt-utils.h (__mpxrt_stop): New prototype.

From-SVN: r245027
---
 libmpx/ChangeLog           | 4 ++++
 libmpx/mpxrt/mpxrt-utils.h | 1 +
 2 files changed, 5 insertions(+)

diff --git a/libmpx/ChangeLog b/libmpx/ChangeLog
index 82daa1fc9465..3edc2d499c6f 100644
--- a/libmpx/ChangeLog
+++ b/libmpx/ChangeLog
@@ -1,3 +1,7 @@
+2017-01-30  Jakub Jelinek  <jakub@redhat.com>
+
+	* mpxrt/mpxrt-utils.h (__mpxrt_stop): New prototype.
+
 2017-01-21  Jakub Jelinek  <jakub@redhat.com>
 
 	PR other/79046
diff --git a/libmpx/mpxrt/mpxrt-utils.h b/libmpx/mpxrt/mpxrt-utils.h
index 6da12ccb803e..a6f4f1b3ca45 100644
--- a/libmpx/mpxrt/mpxrt-utils.h
+++ b/libmpx/mpxrt/mpxrt-utils.h
@@ -66,5 +66,6 @@ void __mpxrt_print (verbose_type vt, const char* frmt, ...);
 mpx_rt_mode_t __mpxrt_mode (void);
 void __mpxrt_utils_free (void);
 void __mpxrt_print_summary (uint64_t num_brs, uint64_t l1_size);
+void __mpxrt_stop (void) __attribute__ ((noreturn));
 
 #endif /* MPXRT_UTILS_H */
-- 
GitLab