author Philipp Wiesemann <>
Wed, 27 Jul 2016 20:47:08 +0200
changeset 10211 2e4c1b2fce79
parent 4935 a727eda441be
permissions -rwxr-xr-x
Android: Updated a comment.

# Print the current source revision, if available

# FIXME: this prints the tip, which isn't useful if you're on a different
#  branch, or just not sync'd to the tip.
hg tip --template 'hg-{rev}:{node|short}' || (echo "hg-0:baadf00d"; exit 1)