summaryrefslogtreecommitdiff
path: root/tools
AgeCommit message (Expand)Author
2019-11-28core: exit makedist.sh script if command "cd" failedSébastien Helleu
2019-11-28core: replace "! -z" by "-n" in build-debian.shSébastien Helleu
2019-11-28core: replace "-o" by "||" in tools scriptsSébastien Helleu
2019-11-28core: run command and check return code on same line in tools scriptsSébastien Helleu
2019-11-28core: double quote variables in tools scriptsSébastien Helleu
2019-11-11debian: disable javascript plugin on Debian Sid and Ubuntu EoanSébastien Helleu
2019-10-20debian: disable javascript plugin on Ubuntu FocalSébastien Helleu
2019-09-25debian: switch to Guile 2.2 in Debian buildSébastien Helleu
2019-09-16debian: fix build of packages on Debian Jessie (issue #916, issue #956)Sébastien Helleu
2019-07-08debian: disable Javascript plugin on Debian Buster/Bullseye (closes #1374)Sébastien Helleu
2019-07-07debian: switch from Lua 5.1 to 5.3 in Debian buildSébastien Helleu
2019-07-01core: compile with Python 3 by defaultSébastien Helleu
2019-03-29core: move coverage.info in parent directorySébastien Helleu
2019-03-29core: move upload of code coverage from build-test.sh to .travis.ymlSébastien Helleu
2019-03-29core: fix upload of code coverage to codecov.ioSébastien Helleu
2019-03-29core: upload code coverage on codecov.io in Travis CISébastien Helleu
2019-01-08debian: switch debhelper compatibility to 12Sébastien Helleu
2019-01-08debian: bump Standards-Version to 4.3.0Sébastien Helleu
2019-01-01core: update copyright datesSébastien Helleu
2018-11-29core: use https for links to GNU GPL licenseSébastien Helleu
2018-10-21debian: bump Standards-Version to 4.1.5Sébastien Helleu
2018-03-22debian: display the number of patches OK and in error in script build-debian.shSébastien Helleu
2018-03-22debian: update debian/ubuntu/raspbian patchesSébastien Helleu
2018-03-22debian: remove patches for old ubuntu versions: zesty, yakkety, preciseSébastien Helleu
2018-03-22debian: do not build packages with debug symbols in script build-debian.shSébastien Helleu
2018-03-20core: add option "test-patches" in script build-debian.shSébastien Helleu
2018-03-20debian: update debian/ubuntu/raspbian patchesSébastien Helleu
2018-03-06debian: add patch for Ubuntu Artful to use PHP 7.1Sébastien Helleu
2018-03-05debian: replace PHP version 7.1 with 7.2 in debian patches (issue #1154)Sébastien Helleu
2018-01-29core: fix typo: scripts manager -> script managerSébastien Helleu
2018-01-05core: update copyright datesSébastien Helleu
2017-11-04debian: update debian/ubuntu patchesSébastien Helleu
2017-09-28build: update examples in script build-debian.shSébastien Helleu
2017-09-28build: update Debian patches with libxml2-dev dependencySébastien Helleu
2017-09-27build: update patch for Ubuntu Trusty to not build PHP pluginSébastien Helleu
2017-09-27build: update patch for Debian Wheezy to not build PHP pluginSébastien Helleu
2017-09-27build: update patch for Debian Jessie to not build PHP pluginSébastien Helleu
2017-09-27build: add patch for Debian Stretch, Raspbian Stretch and Ubuntu Zesty/Yakket...Sébastien Helleu
2017-09-27build: remove patch for Raspbian JessieSébastien Helleu
2017-09-27build: remove patch for Ubuntu WilySébastien Helleu
2017-09-27build: remove patch for Debian SqueezeSébastien Helleu
2017-01-14core: move script makedist.sh to tools directory, make all arguments optionalSébastien Helleu
2017-01-01core: update copyright datesSébastien Helleu
2016-10-23debian: update comments in build scriptSébastien Helleu
2016-09-04debian: remove asciidoctor dependency in debian/ubuntu patches (issue #722)Sébastien Helleu
2016-09-04debian: update debian/ubuntu patches to build again doc/man page (issue #722)Sébastien Helleu
2016-05-21debian: fix debian/ubuntu/raspbian patchesSébastien Helleu
2016-05-16debian: update debian/ubuntu patches to not build doc/man pageSébastien Helleu
2016-05-16debian: add patch for raspbian/jessieSébastien Helleu
2016-05-16debian: fix dch distribution name on RaspbianSébastien Helleu