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 |