view tools/gen-bat-wrapper @ 6500:e7a2c2d2b163

maint: merge release to default
author John W. Eaton <jwe@octave.org>
date Thu, 03 Nov 2022 14:49:48 -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