generate.sh 444 B

12345678910111213141516171819202122232425262728
  1. #!/usr/bin/env bash
  2. declare -a IN
  3. GLUONDIR="$(dirname "$0")/.."
  4. for ((i = 1; i < $#; i++)); do
  5. IN[$i]="${!i}"
  6. done
  7. OUT="$(readlink -f "${!#}")"
  8. for S in "${IN[@]}"; do (
  9. cd "$(dirname "$S")"
  10. NAME="$(basename "$S")"
  11. IFS='
  12. '
  13. for FILE in $(find "$NAME" -type f); do
  14. D="$(dirname "$FILE")"
  15. mkdir -p "$OUT/$D"
  16. (cd "$GLUONDIR"; scripts/configure.pl) < "$FILE" > "$OUT/$FILE"
  17. chmod --reference="$FILE" "$OUT/$FILE"
  18. done
  19. ); done