rebuild_all 119 B

12345678910
  1. #!/usr/bin/env bash
  2. set -e
  3. for d in ci manual; do
  4. pushd $(dirname $0)/$d
  5. ./rebuild "$@"
  6. ./push
  7. popd
  8. done