e7dc055
1
2
3
4
#!/usr/bin/env bash set -euo pipefail exec bash scripts/amos/export_memory_ct_shared13.sh
