Fix rlgl usage
authorAnthony Green <green@moxielogic.com>
Tue, 12 Nov 2019 02:24:58 +0000 (21:24 -0500)
committerAnthony Green <green@moxielogic.com>
Tue, 12 Nov 2019 02:24:58 +0000 (21:24 -0500)
.travis/build-in-container.sh
.travis/build.sh
.travis/install.sh

index 02b1e56d4fc00904aca9de2f64067d8e78f164f6..4baf479fe14b8a4d4fca837e5507b9d14e7cda0e 100755 (executable)
@@ -25,6 +25,7 @@ uuencode libffi.log.gz -
 echo ================================================================
 echo ================================================================
 
+./rlgl l https://rl.gl
 ID=$(./rlgl start)
 ./rlgl e --id=$ID --policy=https://github.com/libffi/rlgl-policy.git */testsuite/libffi.log
 exit $?
index 0ff1bc23172c1eb955b92d8f6879761b25000087..65449cc4bd1382787ad9deaa6b73ff48ee7ebd12 100755 (executable)
@@ -43,6 +43,7 @@ function build_linux()
     echo ================================================================
     echo ================================================================
 
+    ./rlgl l https://rl.gl
     ID=$(./rlgl start)
     ./rlgl e --id=$ID --policy=https://github.com/libffi/rlgl-policy.git */testsuite/libffi.log
     exit $?
index e6a186517e4fe42e388e09d5d4e9e5eeb1f45d3a..87467539fda05884bced0da9e5313756783d0a28 100755 (executable)
@@ -12,8 +12,6 @@ else
     # Download and extract the client
     wget -qO - http://rl.gl/cli/rlgl-linux-amd64.tgz | \
        tar --strip-components=2 -xvzf - ./rlgl/rlgl
-    # Log into the server
-    ./rlgl login https://rl.gl
 
     sudo apt-get clean # clear the cache
     sudo apt-get update