diff options
| author | Miguel Figueiredo <elmig@debianpt.org> | 2013-05-19 00:10:41 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-05-19 00:11:40 +0200 |
| commit | bc99a4f4a85d1803430d1b4c0d6619d1fba8d9c7 (patch) | |
| tree | 7b1d8e1b1fa0486515acef9b69ad569505cec493 /device/dev_hdr.h | |
| parent | 35b0af420ce7150533d4bf249b4ddfe9b4231ddd (diff) | |
Remove unneeded variable initialization
* kern/thread.c (thread_force_terminate): Remove unneeded variable
initialization.
Diffstat (limited to 'device/dev_hdr.h')
0 files changed, 0 insertions, 0 deletions