diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -119,6 +119,7 @@ rm -f testing.conf [ "x$TEST_BROWSER" != x ] && echo BINARY "$TEST_BROWSER" >> testing.conf [ "x$TEST_PROFILE" != x ] && echo TEST_PROFILE "$TEST_PROFILE" >> testing.conf [ "x$TEST_PORT" != x ] && echo TEST_PORT "$TEST_PORT" >> testing.conf +[ "$srcdir" != '.' ] && echo CERT_DIR "$PWD/test/certs" >> testing.conf # Prepare and run write_makefile.sh (as config.status) if [ ! -e config.status ]; then |