From: Thomas M. DuBuisson <tommd@musedev.io>
Date: Sat, 1 Aug 2020 15:42:00 +0000 (-0700)
Subject: CI: Add muse CI config
X-Git-Tag: curl-7_72_0~39
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=a1e0b7922a4a54fe9f7487ed71958d346d453a05;p=thirdparty%2Fcurl.git

CI: Add muse CI config

Closes #5772
---

diff --git a/.muse/config.toml b/.muse/config.toml
new file mode 100644
index 0000000000..4e5b5cc63b
--- /dev/null
+++ b/.muse/config.toml
@@ -0,0 +1,3 @@
+ignore = [ "DEAD_STORE" ]
+build = "make"
+setup = ".muse/setup.sh"
diff --git a/.muse/setup.sh b/.muse/setup.sh
new file mode 100755
index 0000000000..55872d594b
--- /dev/null
+++ b/.muse/setup.sh
@@ -0,0 +1,4 @@
+#!/usr/bin/env bash
+./buildconf
+./configure
+echo "Ran the setup script for muse including autoconf and executing ./configure"