Mercurial > sci

annotate examples/nsnake.sh @ 85:cf49ab595e2e default tip @

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
sciworkerd: avoid spawning several tasks
author David Demelier <markand@malikania.fr>
date Thu, 09 Mar 2023 10:43:48 +0100
parents dae2de19ca5d
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
27
dae2de19ca5d misc: switch to JSON everywhere
David Demelier <markand@malikania.fr>
parents:
diff changeset
1 #!/bin/sh
dae2de19ca5d misc: switch to JSON everywhere
David Demelier <markand@malikania.fr>
parents:
diff changeset
2
dae2de19ca5d misc: switch to JSON everywhere
David Demelier <markand@malikania.fr>
parents:
diff changeset
3 set -e
dae2de19ca5d misc: switch to JSON everywhere
David Demelier <markand@malikania.fr>
parents:
diff changeset
4
dae2de19ca5d misc: switch to JSON everywhere
David Demelier <markand@malikania.fr>
parents:
diff changeset
5 readonly wrkdir="$(mktemp -d /tmp/nsnake-XXXXXX)"
dae2de19ca5d misc: switch to JSON everywhere
David Demelier <markand@malikania.fr>
parents:
diff changeset
6 readonly repo="http://hg.malikania.fr/nsnake"
dae2de19ca5d misc: switch to JSON everywhere
David Demelier <markand@malikania.fr>
parents:
diff changeset
7
dae2de19ca5d misc: switch to JSON everywhere
David Demelier <markand@malikania.fr>
parents:
diff changeset
8 trap "cleanup" INT TERM EXIT
dae2de19ca5d misc: switch to JSON everywhere
David Demelier <markand@malikania.fr>
parents:
diff changeset
9
dae2de19ca5d misc: switch to JSON everywhere
David Demelier <markand@malikania.fr>
parents:
diff changeset
10 cleanup()
dae2de19ca5d misc: switch to JSON everywhere
David Demelier <markand@malikania.fr>
parents:
diff changeset
11 {
dae2de19ca5d misc: switch to JSON everywhere
David Demelier <markand@malikania.fr>
parents:
diff changeset
12 rm -rf $wrkdir
dae2de19ca5d misc: switch to JSON everywhere
David Demelier <markand@malikania.fr>
parents:
diff changeset
13 }
dae2de19ca5d misc: switch to JSON everywhere
David Demelier <markand@malikania.fr>
parents:
diff changeset
14
dae2de19ca5d misc: switch to JSON everywhere
David Demelier <markand@malikania.fr>
parents:
diff changeset
15 if [ "$#" -ne 1 ]; then
dae2de19ca5d misc: switch to JSON everywhere
David Demelier <markand@malikania.fr>
parents:
diff changeset
16 echo "abort: $(basename $0) revision" 1>&2
dae2de19ca5d misc: switch to JSON everywhere
David Demelier <markand@malikania.fr>
parents:
diff changeset
17 exit 1
dae2de19ca5d misc: switch to JSON everywhere
David Demelier <markand@malikania.fr>
parents:
diff changeset
18 fi
dae2de19ca5d misc: switch to JSON everywhere
David Demelier <markand@malikania.fr>
parents:
diff changeset
19
dae2de19ca5d misc: switch to JSON everywhere
David Demelier <markand@malikania.fr>
parents:
diff changeset
20 echo "=> Cloning repository $repo (revision $1) into $wrkdir"
dae2de19ca5d misc: switch to JSON everywhere
David Demelier <markand@malikania.fr>
parents:
diff changeset
21 hg clone -r "$1" "$repo" "$wrkdir"
dae2de19ca5d misc: switch to JSON everywhere
David Demelier <markand@malikania.fr>
parents:
diff changeset
22 cd "$wrkdir"
dae2de19ca5d misc: switch to JSON everywhere
David Demelier <markand@malikania.fr>
parents:
diff changeset
23
dae2de19ca5d misc: switch to JSON everywhere
David Demelier <markand@malikania.fr>
parents:
diff changeset
24 echo "=> Building"
dae2de19ca5d misc: switch to JSON everywhere
David Demelier <markand@malikania.fr>
parents:
diff changeset
25 make