diff options
Diffstat (limited to 'devtools/sizes')
| -rwxr-xr-x | devtools/sizes | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devtools/sizes b/devtools/sizes index 3adcb45a..0a27e690 100755 --- a/devtools/sizes +++ b/devtools/sizes @@ -68,7 +68,7 @@ sizeit("Minimalist build, stripped to NMEA only with shm interface", ] + nmea_variants+binary_gps+non_gps+time_service+debugging) sizeit("Normal build, configure options defaulted", "normal", []) os.system("size gpsd-*-build") -os.system("rm gpsd-*-build") +#os.system("rm gpsd-*-build") os.system("scons -c > /dev/null; rm -fr .scons*") #end |