diff options
| author | Rafael G. Martins <rafael@rafaelmartins.eng.br> | 2017-02-10 01:14:48 +0100 |
|---|---|---|
| committer | Rafael G. Martins <rafael@rafaelmartins.eng.br> | 2017-02-10 01:14:48 +0100 |
| commit | 6e8e544cb8559aa5d8db72176c957e2513e3898a (patch) | |
| tree | 995ad3176ebdbaa4b75c4dc1c938652f1a283ab3 /travis/targets/make-embedded.sh | |
| parent | 68aa9e1b26b0af916423def6892de7fdb8a03048 (diff) | |
| download | blogc-6e8e544cb8559aa5d8db72176c957e2513e3898a.tar.gz blogc-6e8e544cb8559aa5d8db72176c957e2513e3898a.tar.bz2 blogc-6e8e544cb8559aa5d8db72176c957e2513e3898a.zip | |
travis: splitted scripts
Diffstat (limited to 'travis/targets/make-embedded.sh')
| -rw-r--r-- | travis/targets/make-embedded.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/travis/targets/make-embedded.sh b/travis/targets/make-embedded.sh new file mode 100644 index 0000000..b2d3f80 --- /dev/null +++ b/travis/targets/make-embedded.sh @@ -0,0 +1,15 @@ +build() { + pushd build > /dev/null + ../configure \ + CFLAGS="-Wall -g -O0" \ + --enable-ronn \ + --disable-silent-rules \ + --enable-tests \ + --enable-valgrind \ + --enable-git-receiver \ + --enable-make-embedded \ + --enable-runserver + popd > /dev/null + + make -C build check +} |