Advertisement
Guest User

Untitled

a guest
Oct 22nd, 2019
98
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.64 KB | None | 0 0
  1. #!/bin/bash
  2. ##
  3. ## This script is used to strip the boost release archive from
  4. ## tests, exampels and docs
  5. ##
  6. ##
  7.  
  8. BASE_DIR=${1}
  9.  
  10. ##
  11. ## Clean top level doc folder
  12. ##
  13. if [ -d "${BASE_DIR}/doc" ]; then
  14. rm -rf ${BASE_DIR}/doc
  15. fi
  16.  
  17. ##
  18. ## Clean doc, example and test folders
  19. ## from each lib
  20. ##
  21. echo "BASE_DIR = ${BASE_DIR}"
  22.  
  23.  
  24. for file in ${BASE_DIR}/libs/*;
  25. do
  26. echo $file
  27.  
  28. if [ -d "${file}" ];
  29. then
  30. if [ -d "${file}/doc" ];
  31. then
  32. rm -rf "${file}/doc"
  33. fi
  34.  
  35. if [ -d "${file}/example" ];
  36. then
  37. rm -rf "${file}/example"
  38. fi
  39.  
  40. if [ -d "${file}/test" ];
  41. then
  42. rm -rf "${file}/test"
  43. fi
  44. fi
  45. done
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement