diff options
Diffstat (limited to '')
-rw-r--r-- | cpukit/rtems/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cpukit/rtems/Makefile.am b/cpukit/rtems/Makefile.am index e9f990626e..8d593a4fa2 100644 --- a/cpukit/rtems/Makefile.am +++ b/cpukit/rtems/Makefile.am @@ -254,6 +254,7 @@ librtems_a_SOURCES += src/dpmemdata.c ## WORKSPACE_FILES librtems_a_SOURCES += src/workspace.c +librtems_a_SOURCES += src/workspacegreedy.c librtems_a_SOURCES += src/modes.c |