samsonium/libffi
1
0
Fork 0
mirror of https://github.com/partic2/libffi synced 2026-11-11 10:37:19 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix rlgl usage

Browse Source
This commit is contained in:
Anthony Green
2019-11-11 21:24:58 -05:00
parent 3c2b810e99
commit 2a8d88d92d
3 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.travis/build-in-container.sh
+1
View File
@@ -25,6 +25,7 @@ uuencode libffi.log.gz -
echo ================================================================ echo ================================================================
echo ================================================================ echo ================================================================
./rlgl l https://rl.gl
ID=$(./rlgl start) ID=$(./rlgl start)
./rlgl e --id=$ID --policy=https://github.com/libffi/rlgl-policy.git */testsuite/libffi.log ./rlgl e --id=$ID --policy=https://github.com/libffi/rlgl-policy.git */testsuite/libffi.log
exit $? exit $?
.travis/build.sh
+1
View File
@@ -43,6 +43,7 @@ function build_linux()
echo ================================================================ echo ================================================================
echo ================================================================ echo ================================================================
./rlgl l https://rl.gl
ID=$(./rlgl start) ID=$(./rlgl start)
./rlgl e --id=$ID --policy=https://github.com/libffi/rlgl-policy.git */testsuite/libffi.log ./rlgl e --id=$ID --policy=https://github.com/libffi/rlgl-policy.git */testsuite/libffi.log
exit $? exit $?
.travis/install.sh
-2
View File
@@ -12,8 +12,6 @@ else
# Download and extract the client # Download and extract the client
wget -qO - http://rl.gl/cli/rlgl-linux-amd64.tgz | \ wget -qO - http://rl.gl/cli/rlgl-linux-amd64.tgz | \
tar --strip-components=2 -xvzf - ./rlgl/rlgl 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 clean # clear the cache
sudo apt-get update sudo apt-get update