view tools/gen-bat-wrapper @ 4419:fd68c5ebc5c0

gl2ps: update to 1.4.0 * src/gl2ps.mk: update version, checksum
author John D
date Fri, 14 Jul 2017 11:53:47 -0400
parents 32a7bea19bb1
children
line wrap: on
line source

#!/usr/bin/env bash

prog=$1

if [ -z $prog ]; then
  echo "Missing program name" >&2
  exit 1
fi

cat << EOF
@echo off
set BINPATH=%~dp0
%BINPATH%bash -c '$prog %*'
EOF