if [ "$ACTION" = installhdrs ]; then exit 0; fi
if [ "${RC_ProjectName%_Sim}" != "${RC_ProjectName}" ]; then exit 0; fi
+if [ "${DRIVERKIT}" = 1 ]; then exit 0; fi
set -x
set -e
pthread_setname_np.3 \
pthread_setspecific.3 \
pthread_threadid_np.3 \
- pthread_yield_np.3"
+ pthread_yield_np.3 \
+ pthread_jit_write_protect_np.3"
+
cp $BASE_PAGES "$DSTROOT"/usr/share/man/man3
ln -fh pthread_getschedparam.3 pthread_setschedparam.3
ln -fh pthread_rwlock_rdlock.3 pthread_rwlock_tryrdlock.3
ln -fh pthread_rwlock_wrlock.3 pthread_rwlock_trywrlock.3
+ln -fh pthread_jit_write_protect_np.3 pthread_jit_write_protect_supported_np.3
for M in \
pthread_attr_destroy.3 \