From a1f84469218d148b1f8210370cb08677b0d74f49 Mon Sep 17 00:00:00 2001
From: Fabricio Voznika <fvoznika@google.com>
Date: Wed, 18 Sep 2019 16:54:29 -0700
Subject: Fix dev.sh --refresh to create target dir

PiperOrigin-RevId: 269921234
---
 scripts/dev.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/dev.sh b/scripts/dev.sh
index 64151c558..ee74dcb72 100755
--- a/scripts/dev.sh
+++ b/scripts/dev.sh
@@ -63,6 +63,7 @@ if [[ ${REFRESH} -eq 0 ]]; then
   echo "If you rebuild, use $0 --refresh."
 
 else
+  mkdir -p "$(dirname ${RUNSC_BIN})"
   cp -f ${OUTPUT} "${RUNSC_BIN}"
 
   echo
-- 
cgit v1.2.3