We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 1469eaa commit 67b8da7Copy full SHA for 67b8da7
Doit
@@ -6,6 +6,7 @@ while case "$1" in
6
-pedantic) M=$1 ;;
7
-force) force=$1 ;;
8
-dash) with_dash=y ;;
9
+ -noinstall) install=noinstall ;;
10
*) break ;;
11
esac
12
do
@@ -91,7 +92,10 @@ do
91
92
*)
93
: ;;
94
esac &&
- Meta/Make $M -- install &&
95
+ {
96
+ test z$install = znoinstall ||
97
+ Meta/Make $M -- install
98
+ } &&
99
Meta/Make clean || exit $?
100
101
git reset --hard
0 commit comments