From 642b5fb0007b64c77d186fcb018d571152ee1d47 Mon Sep 17 00:00:00 2001
From: dzwdz
Date: Mon, 14 Aug 2023 18:51:07 +0200
Subject: reorganization: first steps

---
 src/user/lib/include/__errno.h.awk | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100644 src/user/lib/include/__errno.h.awk

(limited to 'src/user/lib/include/__errno.h.awk')

diff --git a/src/user/lib/include/__errno.h.awk b/src/user/lib/include/__errno.h.awk
deleted file mode 100644
index 6232835..0000000
--- a/src/user/lib/include/__errno.h.awk
+++ /dev/null
@@ -1,20 +0,0 @@
-BEGIN {
-	print "/* generated by awk */";
-	print "#ifdef E";
-}
-
-END {
-	print "#endif";
-}
-
-/#define/ {
-	comment = $2;
-	num = $3;
-	# extract the comment, if present
-	if (index($0, "/*")) {
-		sub(/[^/]*\/\*/, "");
-		sub(/ *\*\//, "");
-		comment = comment $0;
-	}
-	printf "E(%3s, \"%s\")\n", num, comment;
-}
-- 
cgit v1.2.3