diff options
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: |