diff options
Diffstat (limited to 'shell/msh.c')
| -rw-r--r-- | shell/msh.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/shell/msh.c b/shell/msh.c index da1dc3576..dffacf02a 100644 --- a/shell/msh.c +++ b/shell/msh.c | |||
| @@ -12,7 +12,6 @@ | |||
| 12 | * | 12 | * |
| 13 | * Licensed under GPLv2 or later, see file LICENSE in this tarball for details. | 13 | * Licensed under GPLv2 or later, see file LICENSE in this tarball for details. |
| 14 | */ | 14 | */ |
| 15 | |||
| 16 | #include <sys/times.h> | 15 | #include <sys/times.h> |
| 17 | #include <setjmp.h> | 16 | #include <setjmp.h> |
| 18 | 17 | ||