| commit | e8bb34e30297833fe67b3dc347aa9c2df6869f27 | [log] [tgz] |
|---|---|---|
| author | Simon Ser <contact@emersion.fr> | Thu Jan 04 10:51:39 2024 +0100 |
| committer | Simon Ser <contact@emersion.fr> | Sun Jan 28 12:23:29 2024 +0000 |
| tree | e09e9c2105fd31c050d056c5717605476a1d7345 | |
| parent | 43773c69db81788cffaa894ad05c7f68bfae2007 [diff] |
Drop contrib/ci.sh This is unused and outdated (Autotools is no longer supported). Signed-off-by: Simon Ser <contact@emersion.fr>
diff --git a/contrib/ci.sh b/contrib/ci.sh deleted file mode 100755 index 48b3e77..0000000 --- a/contrib/ci.sh +++ /dev/null
@@ -1,6 +0,0 @@ -#!/bin/sh - -set -ex - -./autogen.sh -make -sj4 check