diff options
Diffstat (limited to 'devtools')
-rw-r--r-- | devtools/README | 5 | ||||
-rwxr-xr-x | devtools/do-build | 19 |
2 files changed, 24 insertions, 0 deletions
diff --git a/devtools/README b/devtools/README index b12bfae2..41886497 100644 --- a/devtools/README +++ b/devtools/README @@ -29,6 +29,11 @@ on the Debian porter boxes. dchroot only accepts one command as argument, nothing else. This wrapper creates a temporary script which will be executed then. +== do-build == + +Very simple wrapper around scons clean, build, and check, saving +output in a file named with "git describe". + == editcomment == Give this a commit-ID specification. It will edit the associated comment. diff --git a/devtools/do-build b/devtools/do-build new file mode 100755 index 00000000..326d62ed --- /dev/null +++ b/devtools/do-build @@ -0,0 +1,19 @@ +#!/bin/sh + +# This script does a full build and check. Outputs are saved to files +# BUILD. and CHECK. with the git version appended. The point is that +# having regression test output from old versions is handy when +# trouble arises. + +# This script should be run from the top-level directory. + +if [ ! -f gpsd.c ]; then + echo "do-build: not at top-level of gpsd" + exit 1 +fi + +version=`git describe` + +scons -c < /dev/null > /dev/null 2>&1 +scons $* < /dev/null > BUILD.$version 2>&1 +scons check < /dev/null > CHECK.$version 2>&1 |