From a8cb89ccdcb7f26cf673dc03b1f64d4de32e9ce5 Mon Sep 17 00:00:00 2001
From: Christian Zimmermann <christian.zimmermann@ur.de>
Date: Fri, 18 Sep 2020 12:30:00 +0200
Subject: [PATCH] fix mk_hl_op.sh

---
 src/lib/mk_hl_op.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/lib/mk_hl_op.sh b/src/lib/mk_hl_op.sh
index 964a6f9..91a5003 100755
--- a/src/lib/mk_hl_op.sh
+++ b/src/lib/mk_hl_op.sh
@@ -1,5 +1,6 @@
 #!/bin/bash
 
+mkdir -p hl_ops
 for x in $(cat ../include/extensions/math.h) ; do
     test "${x}" = "#ifdef" && continue
     test "${x}" = "#endif" && continue