From c4213e333ac7bb5e3a93c687a3aa12450e3e8999 Mon Sep 17 00:00:00 2001
From: Norayr Chilingarian <norayr@arnet.am>
Date: Thu, 5 Oct 2023 17:00:23 +0400
Subject: [PATCH] small fix to build options, whitespace is necessary.

---
 src/compiler/extTools.Mod | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/compiler/extTools.Mod b/src/compiler/extTools.Mod
index 18890f79..c51d8c4d 100644
--- a/src/compiler/extTools.Mod
+++ b/src/compiler/extTools.Mod
@@ -51,6 +51,7 @@ BEGIN
   Strings.Append(OPM.ResourceDir, s);
   Strings.Append('/include" ', s);
   Strings.Append(additionalopts, s);
+  Strings.Append(" ", s);
   Platform.GetEnv("CFLAGS", CFLAGS);
   Strings.Append (CFLAGS, s);
   Strings.Append (" ", s);