diff options
| author | Thomas M. DuBuisson <tommd@musedev.io> | 2020-08-01 08:42:00 -0700 |
|---|---|---|
| committer | Daniel Stenberg <daniel@haxx.se> | 2020-08-04 09:52:52 +0200 |
| commit | a1e0b7922a4a54fe9f7487ed71958d346d453a05 (patch) | |
| tree | 4402ef2b2378cea6d4e324b604b6913e7ec6c5a1 /.muse | |
| parent | 30974cb895756e159d21403c5960d52f0c55dfd7 (diff) | |
| download | curl-a1e0b7922a4a54fe9f7487ed71958d346d453a05.tar.gz | |
CI: Add muse CI config
Closes #5772
Diffstat (limited to '.muse')
| -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" |