diff options
-rw-r--r-- | device_cio_free | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/device_cio_free b/device_cio_free index a17662b..557427a 100644 --- a/device_cio_free +++ b/device_cio_free @@ -145,7 +145,9 @@ if [ $MODE = "dasd" ]; then sed -e 's/.*[[:space:]]dasd=\([^[:space:]]*\).*/\1/' -e 's/([^)]*)//g' \ -e 's/nopav\|nofcx\|autodetect\|probeonly//g' -e 's/,,/,/g' -e 's/^,//' -e 's/,$//') - free_device $DEVICES + for DEVRANGE in $(echo $DEVICES | tr ',' ' '); do + free_device $DEVRANGE + done fi if [ $MODE = "znet" ]; then |