-echo "$INCLUDES" | while read include; do
- base="$include/$module"
- if test -f "$base".ml -o -f "$base".mly -o -f "$base".mll -o -d "$base"; then
- echo "$base"."$ext"
- break
- elif test -f "$base".mli; then
- echo "$base".cmi
- break
- fi
+for MODULE in $MODULES; do
+ module="$(echo $MODULE | cut -b1 | tr A-Z a-z)$(echo $MODULE | cut -b2-)"
+ echo "$INCLUDES" | while read include; do
+ base="$include/$module"
+ if test -z "$include"; then continue; fi
+ if test -f "$base".ml -o -f "$base".mly -o -f "$base".mll -o -f "$base".pack; then
+ echo -n "$base"."$ext "
+ break
+ elif test -f "$base".mli; then
+ echo -n "$base"."cmi "
+ break
+ fi
+ done