----------------------------------------------------------------------
(* Every 10 minutes, get the latest tagged version from the
- * git repository. The variable 'tag' will be set to something
+ * git repository. The variable 'version' will be set to something
* like "v1.2.3", "v1.2.4", etc over time as new releases get
* tagged.
*)
<<
cd /my/git/repo
tag=`git-describe --tags`
- whenjobs --set version $tag
+ whenjobs --set version=$tag
>>
(* When the 'version' variable changes (ie. a new release is
git reset --hard $version
./configure
make clean all check dist
- whenjobs --set successful_local_build $version
+ whenjobs --set successful_local_build=$version
>>
(* In parallel, build on a remote machine. *)
when changes version :
<<
ssh remote ./do_build $version
- whenjobs --set successful_remote_build $version
+ whenjobs --set successful_remote_build=$version
>>
(* Only when the new release has been successfully built on local