memdocker.sh 437 B

123456789101112131415161718
  1. #!/bin/bash
  2. #Run shell in valgrind docker
  3. # Use environment variable BUILD_DOCKER if set, otherwise use default value
  4. BUILD_DOCKER=${BUILD_DOCKER:-manticoresearch/manticore_valgrind:jammy}
  5. CONFIG=RelWithDebInfo
  6. WORKDIR=/work
  7. docker run --rm -it \
  8. -v $(pwd):$WORKDIR \
  9. -e uid=`id -u` \
  10. -e gid=`id -g` \
  11. -e DIAGNOSTIC=1 \
  12. -e VERBOSE=1 \
  13. -e CACHEB=$CACHEB \
  14. -e CTEST_CONFIGURATION_TYPE=$CONFIG \
  15. -e UNITY_BUILD=1 \
  16. $BUILD_DOCKER /bin/bash