8 commits

Author	SHA1	Message	Date
Shlomi Fish	c4b882e1e1	Add a Travis dep	2017-04-19 12:03:44 +03:00
Shlomi Fish	c4e7b1c8f3	try to please Travis	2017-04-19 12:03:44 +03:00
Shlomi Fish	9f90a14075	Fix travis by extracting a separate script	2016-02-14 13:56:34 +02:00
Shlomi Fish	96589abf7b	Use /usr/bin/python	2016-02-14 13:51:33 +02:00
Shlomi Fish	9c9b763d5d	Add a verification thing	2016-02-14 13:43:21 +02:00
Shlomi Fish	53e0671ca4	Fix make command	2016-02-14 13:31:58 +02:00
Shlomi Fish	bd46cee338	Fix deps	2016-02-14 13:29:46 +02:00
Shlomi Fish	4d23488a22	Try to enable Travis-CI	2016-02-14 13:25:44 +02:00