#!/usr/bin/env bash

function check_for_bug_1242300()
{
  if [ -e /etc/issue ]; then
    if [ "`grep -i ubuntu.13.10 /etc/issue`" ]; then
      echo "Ubuntu 13.10 detected. if there was a 'configure:' error"
      echo "please see https://bugs.launchpad.net/ubuntu/+source/llvm-defaults/+bug/1242300"
    fi
  fi
}

function _exit()
{
  EC=$?
  if [ $EC -ne 0 ]; then
    test -z "$SCRIPT" && SCRIPT=`basename $0`
    echo ""
    echo "exiting with abnormal exit code ($EC)"
    test -n "$OCDEBUG" || echo "run 'OCDEBUG=1 ./$SCRIPT' to enable debug messages"
    echo "removing stale locks..."
    remove_locks
    echo "if it is happening the first time, then just re-run the script"
    echo ""
    test $SCRIPT = "build.sh" && check_for_bug_1242300
  fi
}

trap _exit EXIT