#!/usr/bin/env bash
# Wrapper: run smom-dbis-138/scripts/mint-all-c-star-138.sh from repo root.
# Usage: ./scripts/mint-all-c-star-138.sh [amount_human]
# Example: ./scripts/mint-all-c-star-138.sh 1000000

REPO_ROOT="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
SMOM="${REPO_ROOT}/smom-dbis-138"
[ -d "$SMOM" ] || { echo "Not found: $SMOM"; exit 1; }
exec bash "$SMOM/scripts/mint-all-c-star-138.sh" "$@"