#!/usr/bin/env bash
#
# Copyright 2016-2024, The Khronos Group Inc.
#
# SPDX-License-Identifier: Apache-2.0

# makeExt - invoke Makefile with the right options to build with a
# specific extension included. Only one extension may be specified;
# for more complex builds, invoke 'makeSpec' directly.
#
# Usage: makeExt extension targets

set -e

extension=$1
shift

(
    cd "$(dirname "$0")"
    ./makeSpec -spec core -extension $extension $*
)
