Added sys_siglist symbol
authorEmilio Mancini <emilio.mancini@inria.fr>
Fri, 28 Feb 2014 11:31:46 +0100
changeset 577 a2261714cda1
parent 576 bc51faced596
child 578 71461e470024
child 580 a693e2b41f16
Added sys_siglist symbol
model/libc-ns3.h
--- a/model/libc-ns3.h	Thu Feb 27 17:12:04 2014 +0100
+++ b/model/libc-ns3.h	Fri Feb 28 11:31:46 2014 +0100
@@ -387,6 +387,7 @@
 DCE (sigprocmask)
 DCE    (sigwait)
 DCE    (kill)
+NATIVE (sys_siglist)
 
 // PTHREAD.H
 DCE (pthread_create)