build-flex: allow build to work on systems without flex * build-flex-1-fixes.patch: Also patch generated scan.c file so that build will succeed on systems that don't have flex installed.

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