From cc7cb0f031aa892d960f715edbe0c6c59e939bc1 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Wed, 6 Aug 2014 18:27:10 -0600
Subject: [PATCH] Don't build in sched_processtimer.c if CONFIG_SCHED_TICKLESS
 is selected.

---
 arch/sim/src/Makefile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/arch/sim/src/Makefile b/arch/sim/src/Makefile
index 963c1b38e0..63126fb625 100644
--- a/arch/sim/src/Makefile
+++ b/arch/sim/src/Makefile
@@ -1,7 +1,7 @@
 ############################################################################
 # arch/sim/src/Makefile
 #
-#   Copyright (C) 2007, 2008, 2011-2012 Gregory Nutt. All rights reserved.
+#   Copyright (C) 2007, 2008, 2011-2012, 2014 Gregory Nutt. All rights reserved.
 #   Author: Gregory Nutt <gnutt@nuttx.org>
 #
 # Redistribution and use in source and binary forms, with or without
@@ -47,6 +47,10 @@ CSRCS = up_initialize.c up_idle.c up_interruptcontext.c \
 		up_devconsole.c
 HOSTSRCS = up_stdio.c up_hostusleep.c
 
+ifeq ($(CONFIG_SCHED_TICKLESS),y)
+CSRCS += up_tickless.c
+endif
+
 ifeq ($(CONFIG_NX_LCDDRIVER),y)
   CSRCS += up_lcd.c
 else