#!/usr/bin/env bash
# Export commands: all platforms

cmd_export() {
    "$REPO_ROOT/tools/export.sh" "$@"
}

cmd_export_single() {
    local platform="$1"
    shift
    "$REPO_ROOT/tools/export-single.sh" "$platform" "$@"
}