1 files changed, 0 insertions, 34 deletions
diff --git a/shared/trace_stdio.c b/shared/trace_stdio.c
deleted file mode 100644
index 2710942..0000000
--- a/shared/trace_stdio.c
+++ /dev/null
@@ -1,34 +0,0 @@
-/*
- * support for stdio output to a trace port
- * Karl Palsson, 2014 <karlp@remake.is>
- */
-
-#include <errno.h>
-#include <stdio.h>
-#include <unistd.h>
-
-#include "trace.h"
-
-#ifndef STIMULUS_STDIO
-#define STIMULUS_STDIO 0
-#endif
-
-int _write(int file, char *ptr, int len);
-int _write(int file, char *ptr, int len)
-{
-	int i;
-
-	if (file == STDOUT_FILENO || file == STDERR_FILENO) {
-		for (i = 0; i < len; i++) {
-			if (ptr[i] == '\n') {
-				trace_send_blocking8(STIMULUS_STDIO, '\r');
-			}
-			trace_send_blocking8(STIMULUS_STDIO, ptr[i]);
-		}
-		return i;
-	}
-	errno = EIO;
-	return -1;
-}
-
-