aoe-flush.in: Patched to comply with dash-compliant shells.

aoe-flush.in

@@ -19,7 +19,7 @@ fi
 
 # make sure that each device in the whitespace-separated
 # list exists
-function verify_devs () {
+verify_devs () {
 	err=""
 	for d; do
 		aoe-stat |