Fix a stupid sign bug in run_timers() that broke Windows Plink (and
[u/mdw/putty] / configure
... / ...
CommitLineData
1#!/bin/sh
2
3$(echo "$0" | sed '$s!configure$!unix/configure!') "$@"