seen/ord dichotomy

malc committed 5 years ago

Commit ab493bd1 parent 898e8151 file · +4 −2Browse files

Unified · Split

build.bash+4−2

@@ -137,11 +137,13 @@ done < <(ocamlc -config) · 136 unmodified lines
137	137
138	138	read cvers < <($ccomp --version)
139	139
140		−ord=""
	140	+seen=
	141	+ord=
141	142	bocaml1() {
142		− expr >/dev/null "$ord" : ".*$3" \|\| {
	143	+ expr >/dev/null "$seen" : ".*$3" \|\| {
143	144	bocaml2 "$@"
144	145	test "${3%%.cmi}" != "$3" \|\| ord+="$3 "
	146	+ seen+="$3"
145	147	}
146	148	}
147	149