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