view tools/gen-bat-wrapper @ 4279:060d6cafa0a6

glpk: update to 4.60 * src/glpk.mk: update version, checksum * src/glpk-1-fixes.patch: removed * src/glpk.mk: remove glpk-1-fixes.patch
author John D
date Sat, 17 Dec 2016 18:56:48 -0500
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