diff options
-rw-r--r-- | .muse/config.toml | 3 | ||||
-rwxr-xr-x | .muse/setup.sh | 4 |
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" |