diff options
author | Simon Ser <contact@emersion.fr> | 2024-01-04 10:51:39 +0100 |
---|---|---|
committer | Simon Ser <contact@emersion.fr> | 2024-01-28 12:23:29 +0000 |
commit | e8bb34e30297833fe67b3dc347aa9c2df6869f27 (patch) | |
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>
-rwxr-xr-x | contrib/ci.sh | 6 |
1 files changed, 0 insertions, 6 deletions
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 |