summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2018-03-18 20:18:34 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2018-03-18 20:18:34 +0100
commitbdfd1c0880b74b0f02cbd5a16dd1b1316f33fd5c (patch)
treeaae8dfdfc0a91a69ae1becf77d9f66270fb53df0
parentcf330bc70608049a66a5b12d9dc8de37325d81af (diff)
Remove now-useless file
* not-in-libc.h: Remove file.
-rw-r--r--not-in-libc.h12
1 files changed, 0 insertions, 12 deletions
diff --git a/not-in-libc.h b/not-in-libc.h
deleted file mode 100644
index 7c5f0bc..0000000
--- a/not-in-libc.h
+++ /dev/null
@@ -1,12 +0,0 @@
-#define __mach_port_insert_right mach_port_insert_right
-#define __mach_port_allocate mach_port_allocate
-#define __mig_init mig_init
-#define __thread_create thread_create
-#define __thread_get_state thread_get_state
-#define __thread_resume thread_resume
-#define __thread_set_state thread_set_state
-#define __thread_terminate thread_terminate
-#define __thread_terminate_release thread_terminate_release
-#define __vm_allocate vm_allocate
-#define __vm_deallocate vm_deallocate
-#define __sched_yield sched_yield