| 12345678910111213 |
- Index: aoetools-30/aoe-flush.in
- ===================================================================
- --- aoetools-30.orig/aoe-flush.in
- +++ aoetools-30/aoe-flush.in
- @@ -19,7 +19,7 @@ fi
-
- # make sure that each device in the whitespace-separated
- # list exists
- -verify_devs () {
- +function verify_devs () {
- err=""
- for d; do
- aoe-stat |
|
