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