History

Consistently uses shortest match substitutions

malc committed 5 years ago

Commit e04e7521 parent ab493bd1 file · +2 −2Browse files

Unified · Split

build.bash+2−2
@@ -142,7 +142,7 @@ ord= · 141 unmodified lines
142142 bocaml1() {
143143 expr >/dev/null "$seen" : ".*$3" || {
144144 bocaml2 "$@"
145− test "${3%%.cmi}" != "$3" || ord+="$3 "
145+ test "${3%.cmi}" != "$3" || ord+="$3 "
146146 seen+="$3"
147147 }
148148 }
@@ -157,7 +157,7 @@ bocaml2() { · 8 unmodified lines
157157 for d in $depl; do
158158 if test "$d" = "$outd/confstruct.cmo";
159159 then d=confstruct.cmo; else d=${d#$srcd/}; fi
160− test "${o%%.cmo}.cmi" = "$outd/$d" || deps+="$d\n"
160+ test "${o%.cmo}.cmi" = "$outd/$d" || deps+="$d\n"
161161 done
162162 printf "$deps" >$o.depl
163163 echo "$overs$cmd$(eval $keycmd)" >"$o.depl.past"

Keyboard shortcuts

General

Show keyboard shortcuts
?
Focus the current search
/

Issues and pull requests

Open filters
f

Issues, pull requests and Inbox

Select next item
j↓
Select previous item
k↑
Open selected item
Enter
Dismiss filters or clear selection
Esc

Repository code

Go to file
t