projects
/
tatoo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
a089738
)
Fix a bug in ocaml build script (echo -n is not supported on OSX,
author
Kim Nguyễn
<kn@lri.fr>
Tue, 7 Jan 2014 16:06:53 +0000
(17:06 +0100)
committer
Kim Nguyễn
<kn@lri.fr>
Tue, 7 Jan 2014 16:06:53 +0000
(17:06 +0100)
use /bin/echo instead)
tools/ocamlmoduledep.sh
patch
|
blob
|
history
diff --git
a/tools/ocamlmoduledep.sh
b/tools/ocamlmoduledep.sh
index
b38eed7
..
8575312
100755
(executable)
--- a/
tools/ocamlmoduledep.sh
+++ b/
tools/ocamlmoduledep.sh
@@
-50,15
+50,15
@@
for MODULE in $MODULES; do
base="$include/$module"
if test \( "$INTER" = "1" \) -a \( -f "$base".mli \) ; then
## if we want to depend only on cmi of a module
base="$include/$module"
if test \( "$INTER" = "1" \) -a \( -f "$base".mli \) ; then
## if we want to depend only on cmi of a module
-
echo -n
"$base"."cmi "
+
/bin/echo -n
"$base"."cmi "
elif test -f "$base".ml -o -f "$base".mly -o -f "$base".mll -o -f "$base".pack -o -f "$base".ml.str; then
## else we depend on the implementation
elif test -f "$base".ml -o -f "$base".mly -o -f "$base".mll -o -f "$base".pack -o -f "$base".ml.str; then
## else we depend on the implementation
-
echo -n
"$base"."$ext "
+
/bin/echo -n
"$base"."$ext "
break
elif test -f "$base".mli; then
## and fall back on depending on the cmi if the cmx is not available
## (which prevents cross-module inlining in the case of cmx)
break
elif test -f "$base".mli; then
## and fall back on depending on the cmi if the cmx is not available
## (which prevents cross-module inlining in the case of cmx)
-
echo -n
"$base"."cmi "
+
/bin/echo -n
"$base"."cmi "
break
fi
done
break
fi
done