mirror of
https://github.com/redis/redis.git
synced 2026-05-28 04:02:46 -04: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
|