diff options
| -rwxr-xr-x | scripts/dev.sh | 1 |
1 files changed, 1 insertions, 0 deletions
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 |