diff options
author | Eric S. Raymond <esr@thyrsus.com> | 2011-08-19 01:35:19 -0400 |
---|---|---|
committer | Eric S. Raymond <esr@thyrsus.com> | 2011-08-19 01:35:19 -0400 |
commit | 52e6637cc94261b2bc32c81e493e8b0b0742756f (patch) | |
tree | 881b4409f35901630ea9e7448e76ed7b3088449f /devtools | |
parent | 6c19639b6f8c0e465ae1df5138f0948f1fe8d839 (diff) | |
download | gpsd-52e6637cc94261b2bc32c81e493e8b0b0742756f.tar.gz |
Update the release procedure. Re-enable valgrind.
Diffstat (limited to 'devtools')
-rw-r--r-- | devtools/flocktest.ini | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devtools/flocktest.ini b/devtools/flocktest.ini index cfe79da4..2013b5bc 100644 --- a/devtools/flocktest.ini +++ b/devtools/flocktest.ini @@ -14,7 +14,7 @@ [DEFAULT] project = GPSD origin = git://git.berlios.de/gpsd -regression = scons -c && scons check +regression = scons --config=force -c && scons --config=force && scons check # # In each site section, the section name is the FQDN of the host machine. # The attributes are: |