repo.or.cz
/
llpp.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Redundancy removal
[llpp.git]
/
doocaml
blob
217dae37cd15523daffabce5bce85b1474a29b85
1
#!/bin/sh
2
set -e
3
4
out
=
"$(basename "
$1
")"
5
dir
=
"$(dirname "
$1
")"
6
expr
"
$2
"
:
"/.*"
>/
dev
/
null
&&
src
=
"
$2
"
|| src
=
"
$PWD
/
$2
"
7
shift
2
8
(
cd
"
$dir
"
&&
ocamlc
"$@"
-o
$out $src
)