From 484a05e8b36e707a1440ac7c4270a8e7286e2df8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Alexander=20Thei=C3=9Fen?= <alex@theissen.io>
Date: Sat, 17 Nov 2018 20:14:48 +0100
Subject: [PATCH] Remove unnecessary escape from include.sh

The older bash version of macOS does not understand this escape
and actually creates directories with "\" in their name. After this
change it actually works with both versions.
---
 include.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include.sh b/include.sh
index 82f7f8a5..d596769e 100755
--- a/include.sh
+++ b/include.sh
@@ -11,7 +11,7 @@ do
     name="$(basename "$dir")"
     if [ "${name:0:1}" != "_" ]
     then
-        header="$include/${name/_/\/}.h"
+        header="$include/${name/_//}.h"
         pushd "$dir"
         cargo run --release --manifest-path "$cbindgen/Cargo.toml" -- \
             -c cbindgen.toml -o "$header" mod.rs
-- 
GitLab