From 4dcfb5368bd62335e22392dc2eb8b1d0bdf855f2 Mon Sep 17 00:00:00 2001
From: Jan Mojzis <jan.mojzis@gmail.com>
Date: Sat, 30 Jul 2016 11:39:18 +0200
Subject: librandombytes

---
 do | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/do b/do
index d629b29..5700c40 100755
--- a/do
+++ b/do
@@ -110,6 +110,13 @@ cp -pr randombytes/* "$work"
 ( cd "$work" && sh do )
 cp -pr "$work"/lib/* "$lib"
 cp -pr "$work"/include/* "$include"
+okabi \
+| while read abi
+do
+  okar-$abi cr "$lib/$abi/librandombytes.a" "$lib/$abi/randombytes.o"
+  ( ranlib "$lib/$abi/librandombytes.a" || exit 0 )
+done
+
 
 okabi \
 | while read abi