# --- T2-COPYRIGHT-BEGIN ---
# t2/package/*/dietlibc/hostlibc.diff
# Copyright (C) 2004 - 2026 The T2 SDE Project
# SPDX-License-Identifier: GPL-2.0 or patched project license
# --- T2-COPYRIGHT-END ---

We do not want to build dietlibc twice for cross builds - just to get the
tiny wrapper for the building host ...

  - Rene Rebe <rene@exactcode.de>

--- dietlibc/diet.c	2000-01-01 00:00:00.000000000 +0100
+++ dietlibc-fixed/diet.c	2005-01-30 16:53:10.181709691 +0100
@@ -3,10 +3,13 @@
 #include <fcntl.h>
 #include <stdio.h>
 #include <stdlib.h>
-#include <write12.h>
 
 #include "dietfeatures.h"
 
+int __write2 (const char* s) {
+  return write(2, s, strlen(s));
+}
+
 /* goal:
  *   when invoked as
  * "diet gcc -c t.c"