diff options
Diffstat (limited to 'cpukit/libblock')
| -rw-r--r-- | cpukit/libblock/src/diskdevs.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cpukit/libblock/src/diskdevs.c b/cpukit/libblock/src/diskdevs.c index 94a58daa6f..2706e51a26 100644 --- a/cpukit/libblock/src/diskdevs.c +++ b/cpukit/libblock/src/diskdevs.c @@ -632,7 +632,7 @@ rtems_disk_io_done(void) } free(disktab); - rc = rtems_semaphore_release(diskdevs_mutex); + rc = rtems_semaphore_delete(diskdevs_mutex); /* XXX bdbuf should be released too! */ disk_io_initialized = 0; |