src/additional/fix_cerrno.sh

   1 #!/bin/bash
   2
   3 realpath() {
   4     [[ $1 = /* ]] && echo "$1" || echo "$PWD/${1#./}"
   5 }
   6
   7 PREVDIR=$(pwd)
   8 SCRIPT=$(realpath $0)
   9 ROOT=`dirname $SCRIPT`
  10
  11 cd $ROOT/IXWebSocket
  12 git reset --hard 8c15405
  13 patch -s -p1 < ../cerrno_include.patch
  14 git -c user.name='CryptoManiac' -c user.email='balthazar@yandex.ru' commit -a -m 'Fix cerrno'
  15 cd $PREVDIR