diff options
Diffstat (limited to 'build/camlp4-byte-only.sh')
| -rwxr-xr-x | build/camlp4-byte-only.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/build/camlp4-byte-only.sh b/build/camlp4-byte-only.sh index 442284d9d5..cbfe05c75f 100755 --- a/build/camlp4-byte-only.sh +++ b/build/camlp4-byte-only.sh @@ -12,8 +12,6 @@ # # ######################################################################### -# $Id$ - set -e cd `dirname $0`/.. . build/targets.sh |