Initial revision

1987-01-06 11:25:09 +00:00
parent 56a28240ff
commit 3788350d7c
14 changed files with 1127 additions and 0 deletions
--- a/modules/src/malloc/add_file
+++ b/modules/src/malloc/add_file
@@ -0,0 +1,14 @@
+echo ''
+echo '/**********************************************************/'
+echo '/*'
+echo '/*		' This was file $1
+echo '/*'
+echo '/**********************************************************/'
+echo ''
+cat $1 |
+sed '
+	/#include[ 	].*"/d
+	s/^public/private/
+	s/^publicdata/static/
+'
+echo ''