--- /dev/null
+branches:
+ except:
+ gh-pages
+
+language: c
+dist: trusty
+sudo: required
+
+compiler:
+ - clang
+
+before_install:
+ - sudo add-apt-repository ppa:webkit-team/ppa -y
+ - sudo apt-get update -q
+ - sudo apt-get install -y --allow-unauthenticated --no-install-suggests libwebkit2gtk-4.0-dev
+
+script: make V=1 test
{
static unsigned long element_map_key = 0;
char *element_id = NULL, *command = NULL;
- char **argv, *file_path = NULL;
+ char **argv = NULL, *file_path = NULL;
const char *text = NULL, *id = NULL, *editor_command;
int argc;
GPid pid;