/
githubmirror
/
redis
Обзор
Документация
Войти
/
githubmirror
/
redis
Код
Запросы
0
Пакеты
0
Релизы
0
Аналитика
Безопасность
unstable
deps/jemalloc/scripts/windows/script.sh
10 строк
192 B
Oran Agra
Merge commit jemalloc 5.3.0
01 май 2023, 15:38
01 май 2023, 15:38
b8beda3
Код
Авторство
О чём код?
#!/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