diff options
Diffstat (limited to 'build/myocamlbuild.sh')
-rwxr-xr-x | build/myocamlbuild.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/build/myocamlbuild.sh b/build/myocamlbuild.sh index 7a029a6a1..34ad894f9 100755 --- a/build/myocamlbuild.sh +++ b/build/myocamlbuild.sh @@ -12,8 +12,6 @@ # # ######################################################################### -# $Id$ - cd `dirname $0`/.. set -xe if [ ! -x _build/ocamlbuild/ocamlbuildlight.byte ]; then |