From: Loup Vaillant <loup@loup-vaillant.fr>
Date: Sun, 17 Jun 2018 17:13:39 +0000 (+0200)
Subject: Corrected formal analysis setup script
X-Git-Url: https://git.codecow.com/?a=commitdiff_plain;h=f34934db3fd60e69de7044d485458e25dd9e5fa7;p=Monocypher.git

Corrected formal analysis setup script

The script did not create the right directory, so the files didn't copy
properly.
---

diff --git a/tests/formal-analysis.sh b/tests/formal-analysis.sh
index 8b67d46..80bc28c 100755
--- a/tests/formal-analysis.sh
+++ b/tests/formal-analysis.sh
@@ -1,6 +1,6 @@
 #! /bin/sh
 
-mkdir -p formal-analysis
+mkdir -p tests/formal-analysis
 cp src/monocypher.c      \
    src/monocypher.h      \
    src/optional/sha512.h \