nilshoehing commited on
Commit
3204772
·
verified ·
1 Parent(s): 67acd34

Fix RLP helper script permissions during Space build

Browse files
Files changed (1) hide show
  1. scripts/install.sh +2 -0
scripts/install.sh CHANGED
@@ -54,6 +54,8 @@ pushd "${ROOT_DIR}/submodules/rlp" >/dev/null
54
  "${PYTHON_BIN}" setup.py build_ext --inplace
55
  popd >/dev/null
56
 
 
 
57
  mkdir -p "${ROOT_DIR}/submodules/rlp/rlp/lib"
58
  pushd "${ROOT_DIR}/submodules/rlp/rlp/lib" >/dev/null
59
  cmake ../../puzzles
 
54
  "${PYTHON_BIN}" setup.py build_ext --inplace
55
  popd >/dev/null
56
 
57
+ find "${ROOT_DIR}/submodules/rlp/puzzles" -type f -name "*.sh" -exec chmod +x {} +
58
+
59
  mkdir -p "${ROOT_DIR}/submodules/rlp/rlp/lib"
60
  pushd "${ROOT_DIR}/submodules/rlp/rlp/lib" >/dev/null
61
  cmake ../../puzzles