blob: c510a7d746c91835f62ee5a7bc8327152d5f7862 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#!/bin/sh
#
# Stupid wrapper to avoid win32 dospath/cygdrive issues
#
prog=$1
shift
if test -z "$prog"; then
exit 0
fi
if test "$prog" = "-up"; then
prog=$1
shift
args=`echo $* | sed -e 's|-I\(.\):|-I/cygdrive/\1|g;'`
else
args=`echo $* | sed -e 's|/cygdrive/\(.\)/|\1:/|g;'`
fi
exec $prog $args
|