Revision a7118b0de7d2eb540ed4cd0b7f135dc69e254539 authored by Danilo Piparo on 07 October 2023, 06:28:09 UTC, committed by Danilo Piparo on 08 October 2023, 04:58:09 UTC
1 parent ded4dee
cl.sh
#! /bin/sh
# Simple interface to cl.exe, tansforming /cygdrive/... into "mixed" path.
args=
while [ "$1" != "" ]; do
case "$1" in
-I*) narg=`echo $1 | sed -e s/-I//`; args="$args -I`cygpath -m -- $narg`" ;;
-c) args="$args -c "; shift; args="$args`cygpath -m -- $1`" ;;
*) args="$args $1" ;;
esac
shift
done
cl.exe $args
stat=$?
if [ $stat -eq 126 ]; then
# cygwin causes spurious exit codes 126; just re-try.
cl.exe $args
stat=$?
fi
exit $stat
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...