X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=utilities%2Fovs-save;h=323d1845f43ac89f7af1ea0cba89ca706281ecfb;hb=a7844aaf5ebccf1a8762f68bcbb62e463fc3809b;hp=b2c726eb40c854831ff21126b9b81fd0bdce2e31;hpb=f7a122fc2457f805fd0906f4368ea42d2ea55584;p=openvswitch

diff --git a/utilities/ovs-save b/utilities/ovs-save
index b2c726eb..323d1845 100755
--- a/utilities/ovs-save
+++ b/utilities/ovs-save
@@ -115,8 +115,9 @@ for dev in $devs; do
                         continue 2
                     fi
                     ;;
-                "$dev")
-                    # Omit because "ip" wants "dev" keyword in front.
+                "$dev"|"$dev:"*)
+                    # Address label string
+                    addrcmd="$addrcmd label $1"
                     shift
                     continue
                     ;;