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

…

run-regtests.sh

REGTEST: script: remove platform-specific assigments of OPTIONS

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