diff options
author | Eric S. Raymond <esr@thyrsus.com> | 2011-06-11 09:20:20 -0400 |
---|---|---|
committer | Eric S. Raymond <esr@thyrsus.com> | 2011-06-11 09:20:20 -0400 |
commit | 2941f808be395819aefb9241b3889b441b73ea1b (patch) | |
tree | 083353edd201273d3e3af9a604ff5eecca56a319 /devtools/sizes | |
parent | 087691569a1e6ae23c1969db5a1d0ebc5d229ca5 (diff) | |
download | gpsd-2941f808be395819aefb9241b3889b441b73ea1b.tar.gz |
Code slimming.
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 |