Willy Tarreau ad25c2658e REGTEST: script: remove platform-specific assigments of OPTIONS ...

We don't use OPTIONS anymore, let's simply remove all the code that sets
this variable. It was not viable anyway to keep this one in sync with
the makefile.

2019-03-27 14:47:55 +01:00

..

announce-release

SCRIPTS: add the issue tracker URL to the announce script

2019-01-29 06:51:16 +01:00

create-release

DOC: split the README into README + INSTALL

2018-12-16 22:30:57 +01:00

git-show-backports

SCRIPTS: git-show-backports: add missing quotes to "echo"

2018-07-30 14:45:55 +02:00

publish-release

BUILD: Generate sha256 checksums in publish-release

2018-07-20 10:50:20 +02:00

run-regtests.sh

REGTEST: script: remove platform-specific assigments of OPTIONS

2019-03-27 14:47:55 +01:00