summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.muse/config.toml3
-rwxr-xr-x.muse/setup.sh4
2 files changed, 7 insertions, 0 deletions
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"