From a1e0b7922a4a54fe9f7487ed71958d346d453a05 Mon Sep 17 00:00:00 2001 From: "Thomas M. DuBuisson" Date: Sat, 1 Aug 2020 08:42:00 -0700 Subject: [PATCH] CI: Add muse CI config Closes #5772 --- .muse/config.toml | 3 +++ .muse/setup.sh | 4 ++++ 2 files changed, 7 insertions(+) create mode 100644 .muse/config.toml create mode 100755 .muse/setup.sh diff --git a/.muse/config.toml b/.muse/config.toml new file mode 100644 index 000000000..4e5b5cc63 --- /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 000000000..55872d594 --- /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"