diff options
-rw-r--r-- | device_cio_free | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/device_cio_free b/device_cio_free index 87d31ee..b5f9514 100644 --- a/device_cio_free +++ b/device_cio_free @@ -211,6 +211,14 @@ if [ ! -f $BLACKLIST ]; then exit 2 fi +if [ "$DEVICE" ]; then + [ $VERBOSE ] && echo "Freeing specific devices" + for DEV in $DEVICE; do + free_device $DEV + done + wait_on_devices + exit 0 +fi if [ $VERBOSE ]; then echo -n "Freeing devices:" |