tree ac2ecfc691433c37be5fdf49cda36383e4fb9f11
parent f97a307917435586d45d891a1428a80f4da9fa31
author Masayoshi Kobayashi <masayoshi@onlab.us> 1371666892 -0700
committer Masayoshi Kobayashi <masayoshi@onlab.us> 1371666892 -0700

fix make-mininet.sh to handle dash(-) in hostname