mirror of
https://github.com/redis/redis.git
synced 2026-03-03 05:50:27 -05:00
11 lines
192 B
Bash
11 lines
192 B
Bash
#!/bin/bash
|
|||
|
|||
set -e
|
|||
|
|||
if [[ "$TRAVIS_OS_NAME" != "windows" ]]; then
|
|||
echo "Incorrect \$TRAVIS_OS_NAME: expected windows, got $TRAVIS_OS_NAME"
|
|||
exit 1
|
|||
fi
|
|||
|
|||
$build_env mingw32-make -k check
|