diff options
author | James Almer <jamrial@gmail.com> | 2017-04-04 15:03:34 -0300 |
---|---|---|
committer | James Almer <jamrial@gmail.com> | 2017-04-04 15:03:34 -0300 |
commit | 22164971b0b1ef5c7628fc2ec1eafb768fa449ac (patch) | |
tree | ab0166cb63eb6fca4db4642c5517b661e4ccd07a /doc/fate_config.sh.template | |
parent | b20bf5584f7a420b000fbea87a507bf171f340c6 (diff) | |
parent | 286ab878bd39b56008035638227b3ecb8ec5bbb7 (diff) |
Merge commit '286ab878bd39b56008035638227b3ecb8ec5bbb7'
* commit '286ab878bd39b56008035638227b3ecb8ec5bbb7':
fate.sh: Allow setting other make flags for running tests
Merged-by: James Almer <jamrial@gmail.com>
Diffstat (limited to 'doc/fate_config.sh.template')
-rw-r--r-- | doc/fate_config.sh.template | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/fate_config.sh.template b/doc/fate_config.sh.template index 059a1f862f..56acb2667d 100644 --- a/doc/fate_config.sh.template +++ b/doc/fate_config.sh.template @@ -26,5 +26,7 @@ extra_conf= # extra configure options not covered above #make= # name of GNU make if not 'make' makeopts= # extra options passed to 'make' +#makeopts_fate= # extra options passed to 'make' when running tests, + # defaulting to makeopts above if this is not set #tar= # command to create a tar archive from its arguments on stdout, # defaults to 'tar c' |