Admin/ocaml/opam/x86_64-cygwin/opam
author wenzelm
Mon, 10 May 2021 20:09:47 +0200
changeset 73659 af82097b4adc
parent 69954 96905404ffba
permissions -rwxr-xr-x
more brackets (see f6b453449cc6);

#!/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