From fc1c6dff2a7cfbade1afd287c7bd3b634fdb6831 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= <contact@tobast.fr>
Date: Fri, 18 Oct 2019 11:43:20 +0200
Subject: [PATCH] Add `synthesize.sh` in demo -- silences useless warnings

---
 demo/synthesize.sh | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100755 demo/synthesize.sh

diff --git a/demo/synthesize.sh b/demo/synthesize.sh
new file mode 100755
index 0000000..603aab9
--- /dev/null
+++ b/demo/synthesize.sh
@@ -0,0 +1,3 @@
+#!/bin/bash
+
+./dwarf-synthesis/synthesize_dwarf.sh $* 2>/dev/null