Fix dev.sh --refresh to create target dir

PiperOrigin-RevId: 269921234
This commit is contained in:
Fabricio Voznika
2019-09-18 16:56:01 -07:00
committed by gVisor bot
parent c98e7f0d19
commit a1f8446921
+1
View File
@@ -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