view tools/gen-bat-wrapper @ 5210:4eae7db624e8

* tools/pkg-install.py: add rebuild command
author John Donoghue
date Tue, 19 Nov 2019 07:57:29 -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