Merge "ui: Two small fixes for run-dev-server"
diff --git a/tools/dev_server b/tools/dev_server
index b73e28a..7188f38 100755
--- a/tools/dev_server
+++ b/tools/dev_server
@@ -1,3 +1,4 @@
+#!/usr/bin/env python
# Copyright (C) 2019 The Android Open Source Project
#
# Licensed under the Apache License, Version 2.0 (the "License");
@@ -12,7 +13,6 @@
# See the License for the specific language governing permissions and
# limitations under the License.
-#!/usr/bin/env python
from __future__ import print_function
import sys
import os
diff --git a/ui/run-dev-server b/ui/run-dev-server
index 843d2ac..11a602e 100755
--- a/ui/run-dev-server
+++ b/ui/run-dev-server
@@ -22,6 +22,10 @@
exit 127
fi
OUT_DIR="$1"
+
+echo 'Initial build:'
+$ROOT_DIR/tools/ninja -C $OUT_DIR ui
+
UI_OUT_DIR="$OUT_DIR/ui"
if [ ! -d $UI_OUT_DIR ]; then
echo "ERROR: cannot find the UI output directory (\"$UI_OUT_DIR\")."