From 53b03a1a5769e499d9eb1a8ae01ed7ad6226f9f1 Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Tue, 24 Mar 2015 10:09:43 +0100
Subject: SLEEP(9): Port to RTEMS

---
 freebsd-to-rtems.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'freebsd-to-rtems.py')

diff --git a/freebsd-to-rtems.py b/freebsd-to-rtems.py
index 58698ae1..24055e88 100755
--- a/freebsd-to-rtems.py
+++ b/freebsd-to-rtems.py
@@ -678,7 +678,6 @@ rtems.addRTEMSSourceFiles(
 		'rtems/rtems-bsd-get-task-stack-size.c',
 		'rtems/rtems-bsd-init.c',
 		'rtems/rtems-bsd-jail.c',
-		'rtems/rtems-bsd-kern_synch.c',
 		'rtems/rtems-bsd-log.c',
 		'rtems/rtems-bsd-malloc.c',
 		'rtems/rtems-bsd-mbuf.c',
@@ -884,6 +883,7 @@ base.addKernelSpaceSourceFiles(
 		'sys/kern/kern_module.c',
 		'sys/kern/kern_mtxpool.c',
 		'sys/kern/kern_osd.c',
+		'sys/kern/kern_synch.c',
 		'sys/kern/kern_sysctl.c',
 		'sys/kern/kern_time.c',
 		'sys/kern/kern_timeout.c',
-- 
cgit v1.2.3