diff --git a/configure/os/CONFIG.Common.RTEMS b/configure/os/CONFIG.Common.RTEMS
index 9f2f98072..5e9f3439e 100644
--- a/configure/os/CONFIG.Common.RTEMS
+++ b/configure/os/CONFIG.Common.RTEMS
@@ -62,7 +62,6 @@ OS_CLASS = RTEMS
 
 #--------------------------------------------------
 # Operating system flags
-PROD_LIBS += iocsh
 OP_SYS_CPPFLAGS = -Dmain=rtems_main -DIOCSH_USE_READLINE
 OP_SYS_LDLIBS = -lreadline -lcurses
 OP_SYS_LDFLAGS = $(CPU_CFLAGS) -u Init -lCom \