We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 331938f commit f43915dCopy full SHA for f43915d
Doit
@@ -1,5 +1,6 @@
1
#!/bin/sh
2
3
+: ${M=''}
4
: ${J=-j2}
5
6
test -z "$(git diff --cached --name-status)" || {
@@ -17,9 +18,9 @@ do
17
18
then
19
echo "** $branch" &&
20
git checkout $branch &&
- Meta/Make -- $J all &&
21
- Meta/Make -- $J $nstall &&
22
- Meta/Make test &&
+ Meta/Make $M -- $J all &&
+ Meta/Make $M -- $J $nstall &&
23
+ Meta/Make $M -- test &&
24
Meta/Make clean || exit $?
25
else
26
echo "** No $branch"
0 commit comments