diff options
Diffstat (limited to 'schedsim/shell/shared/Makefile.am')
-rw-r--r-- | schedsim/shell/shared/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/schedsim/shell/shared/Makefile.am b/schedsim/shell/shared/Makefile.am index 6940f41..af5b282 100644 --- a/schedsim/shell/shared/Makefile.am +++ b/schedsim/shell/shared/Makefile.am @@ -48,6 +48,7 @@ libschedsim_a_SOURCES += main_taskpriority.c libschedsim_a_SOURCES += main_taskresume.c libschedsim_a_SOURCES += main_tasksuspend.c libschedsim_a_SOURCES += main_taskwakeafter.c +libschedsim_a_SOURCES += printheir_executing.c libschedsim_a_SOURCES += schedsim_disable_dispatch.c libschedsim_a_SOURCES += shell_cmdset.c libschedsim_a_SOURCES += shell_makeargs.c |