ReadStream.st
changeset 22491 e3e465028518
parent 22236 14865585b530
child 22562 2caaf1e20511
--- a/ReadStream.st	Fri Jan 19 15:06:27 2018 +0100
+++ b/ReadStream.st	Fri Jan 19 16:02:39 2018 +0100
@@ -23,11 +23,25 @@
 !ReadStream primitiveDefinitions!
 %{
 
-#include <stdio.h>
-#define _STDIO_H_INCLUDED_
-#include <stdlib.h>
-#include <string.h>
-#include <memory.h>
+#ifndef _STDIO_H_INCLUDED_
+# include <stdio.h>
+# define _STDIO_H_INCLUDED_
+#endif
+
+#ifndef _STDLIB_H_INCLUDED_
+# include <stdlib.h>
+# define _STDLIB_H_INCLUDED_
+#endif
+
+#ifndef _STRING_H_INCLUDED_
+# include <string.h>
+# define _STRING_H_INCLUDED_
+#endif
+
+#ifndef _MEMORY_H_INCLUDED_
+# include <memory.h>
+# define _MEMORY_H_INCLUDED_
+#endif
 
 %}
 ! !