From 6f45b1d18ad6aa70531eba701d75687582087a4c Mon Sep 17 00:00:00 2001
From: Jonathan Campbell <jonathan@castus.tv>
Date: Thu, 9 Aug 2018 11:54:20 -0700
Subject: [PATCH] fix

---
 src/dosbox.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/dosbox.cpp b/src/dosbox.cpp
index 550320132..4056b68e2 100644
--- a/src/dosbox.cpp
+++ b/src/dosbox.cpp
@@ -889,6 +889,9 @@ void DOSBOX_SetupConfigSections(void) {
     const char* cores[] = { "auto",
 #if (C_DYNAMIC_X86)
         "dynamic",
+#endif
+#if defined(LINUX)
+        "ptrace",
 #endif
         "normal", "full", "simple", 0 };