Fix mdns and build.py
Change-Id: If77d6678b02bad17d4b450e1cd62ac108e473e51
diff --git a/aos/build/build.py b/aos/build/build.py
index b0e5021..c89e175 100755
--- a/aos/build/build.py
+++ b/aos/build/build.py
@@ -144,7 +144,7 @@
if not os.access(FILENAME, os.R_OK):
os.makedirs(os.path.dirname(FILENAME), exist_ok=True)
with open(FILENAME, 'w') as f:
- f.write('10.9.71')
+ f.write('roboRIO-971.local')
with open(FILENAME, 'r') as f:
base = f.readline().strip()
return base
@@ -157,7 +157,7 @@
elif device == 'robot':
return base + '.2'
elif device == 'roboRIO':
- return base + '.2'
+ return base
else:
raise Exception('Unknown device %s to get an IP address for.' % device)
@@ -453,7 +453,8 @@
cwd=from_dir)
to_download = subprocess.check_output(
('ssh', TARGET,
- """rm -rf {TMPDIR} && mkdir -p {TMPDIR} && cd {TO_DIR} \\
+ """rm -rf {TMPDIR} && mkdir -p {TMPDIR} && \\
+ mkdir -p {TO_DIR} && cd {TO_DIR} \\
&& echo '{SUMS}' | {SUM} -c \\
|& grep -F FAILED | sed 's/^\\(.*\\): FAILED.*$/\\1/g'""".
format(TMPDIR=TEMP_DIR, TO_DIR=TARGET_DIR, SUMS=sums.decode('utf-8'),