From 0adb107f904d93893d274efd4d3fd513dfa8745a Mon Sep 17 00:00:00 2001 From: server Date: Tue, 21 Jan 2025 15:17:53 -0500 Subject: [PATCH] Tue Jan 21 03:17:53 PM EST 2025 --- build.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/build.sh b/build.sh index a363dc0..9a0d725 100755 --- a/build.sh +++ b/build.sh @@ -1,6 +1,7 @@ if [ "$1" == "test" ] then set -x -e + mkdir -p bin gcc tests/test.c -o bin/test -lgmp -DDEVICE='"/dev/random"' if [ "$2" == "hard" ] then -- 2.39.5