Admin/ocaml/opam/x86_64-cygwin/opam
author wenzelm
Fri, 19 Feb 2021 22:50:10 +0100
changeset 73254 13e206e93876
parent 69954 96905404ffba
permissions -rwxr-xr-x
provide naproche-4ad61140062f;

#!/usr/bin/env bash

if [ -e /usr/bin/opam ]; then
  exec /usr/bin/opam "$@"
else
  echo >&2 "Missing opam executable: please install Cygwin package \"opam\" version 2.0.x"
  exit 2
fi