There will be maintenance performed on git.ligo.org, chat.ligo.org, containers.lig.org, and docs.ligo.org starting at 9am PDT on Tuesday 18th August 2020. There will be an extremely small period of downtime at the start of the maintenance window as various services are restarted. Please address any comments, questions, or concerns to computing-help@igwn.org.

Commit a945edac authored by Daniel Brown's avatar Daniel Brown

Merge branch 'develop'

parents 53d3f78b dee764be
......@@ -8,7 +8,7 @@ IF "%ARCH%"=="64" (
)
IF "%ARCH%"=="32" (
c:\msys64\mingw32 /bin/bash ./finesse.sh --build-win32
c:\msys32\mingw32 /bin/bash ./finesse.sh --build-win32
)
@ECHO OFF
......
......@@ -5,11 +5,6 @@ unamestr=`uname`
unamem=`uname -m`
branch=`git rev-parse --abbrev-ref HEAD`
if [[ "$branch" != 'master' ]]; then
echo !! Trying to push non-master branch to Conda !!
exit 1
fi
if [[ "$unamestr" == 'Linux' ]]; then
if [[ "${ARCH}" == '32' ]]; then
./finesse.sh --build-linux32
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment