commit | ad25c2658e1ebdd07743d0faa1f8ad3094897a61 | [log] [tgz] |
---|---|---|
author | Willy Tarreau <w@1wt.eu> | Wed Mar 27 14:00:10 2019 +0100 |
committer | Willy Tarreau <w@1wt.eu> | Wed Mar 27 14:47:55 2019 +0100 |
tree | ef857f52f79d4bf4bd55a81aa64c41de6f2edc84 | |
parent | 87586e15951dfd007a13b52adf421aa45c0047a9 [diff] |
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.