Delete unused file

This commit is contained in:
Sebastian Huber 2013-12-12 14:46:11 +01:00
parent 58710353b8
commit 1d42ceb11e

View File

@ -1,14 +0,0 @@
#include <err.h>
rtems_shell_globals_t *rtems_shell_globals;
void
rtems_shell_exit (int code)
{
rtems_shell_globals->exit_code = code;
longjmp (rtems_shell_globals->exit_jmp, 1);
}