From 4038546321965f4c9c793796873cdbc1fd759893 Mon Sep 17 00:00:00 2001 From: odanoburu Date: Sat, 11 Aug 2018 22:07:53 -0300 Subject: [PATCH] (#5) no need for make install --- .travis.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.travis.yml b/.travis.yml index 69f4313ba..58fee17e0 100644 --- a/.travis.yml +++ b/.travis.yml @@ -11,4 +11,4 @@ before_install: script: - | docker run --mount src="$(pwd)",target=/home/gfer,type=bind odanoburu/gf-src /bin/bash -c "cd /home/gfer/src/runtime/c && - autoreconf -i && ./configure && make && make install ; cd /home/gfer ; cabal install -fserver -fc-runtime --extra-lib-dirs='/usr/local/lib'" + autoreconf -i && ./configure && make ; cd /home/gfer ; cabal install -fserver -fc-runtime --extra-lib-dirs='/usr/local/lib'"