aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-x.buildbot/build.sh3
-rwxr-xr-x.buildbot/firefly-x86_64-amdepyc_deploy.sh10
-rw-r--r--README.md4
3 files changed, 16 insertions, 1 deletions
diff --git a/.buildbot/build.sh b/.buildbot/build.sh
new file mode 100755
index 0000000..2aad486
--- /dev/null
+++ b/.buildbot/build.sh
@@ -0,0 +1,3 @@
1#!/bin/bash
2
3make
diff --git a/.buildbot/firefly-x86_64-amdepyc_deploy.sh b/.buildbot/firefly-x86_64-amdepyc_deploy.sh
new file mode 100755
index 0000000..402fa15
--- /dev/null
+++ b/.buildbot/firefly-x86_64-amdepyc_deploy.sh
@@ -0,0 +1,10 @@
1#!/bin/bash
2
3# Deploy rest api from buildbot
4
5if [ -e index.html ]; then
6 rm index.html
7fi
8ln -s draft-summermatter-set-union.html index.html
9chmod -R ag+rX draft-summermatter-set-union.* index.html .
10rsync --exclude=".*" --exclude="Makefile" -a --delete ./ lsd@firefly.gnunet.org:~/public/lsd0003/
diff --git a/README.md b/README.md
index b508de9..62288c2 100644
--- a/README.md
+++ b/README.md
@@ -1 +1,3 @@
1# Set union spec 1# Set union living standard
2
3Find HTML website at https://lsd.gnunet.org/lsd0003