#!/bin/sh
set -ex
version=v2.7.2
curl -fsSLo include/private/catch.hpp                                          \
  https://github.com/catchorg/Catch2/releases/download/$version/catch.hpp
