Software: Apache. PHP/5.4.45 

uname -a: Linux webm003.cluster110.gra.hosting.ovh.net 5.15.167-ovh-vps-grsec-zfs-classid #1 SMP Tue
Sep 17 08:14:20 UTC 2024 x86_64 

uid=243112(mycochar) gid=100(users) groups=100(users)  

Safe-mode: OFF (not secure)

/home/mycochar/gcc-12.2.0/libffi/   drwxr-xr-x
Free 0 B of 0 B (0%)
Your ip: 216.73.216.218 - Server ip: 213.186.33.19
                            

Viewing file:     merge.sh (1.01 KB)      -rwxr-xr-x

#!/bin/bash

# FIXME: do we need a license (or whatever else) header here?

# This script merges libffi sources from upstream.

# Default to the tip of master branch.
commit=${1-master}

fatal() {
  echo "$1"
  exit 1;
}

get_upstream() {
  rm -rf upstream
  git clone https://github.com/libffi/libffi.git upstream
  pushd upstream
  git checkout $commit || fatal "Failed to checkout $commit"
  popd
}

get_current_rev() {
  cd upstream
  git rev-parse HEAD
}

pwd | grep 'libffi$' || \
  fatal "Run this script from the libffi directory"
get_upstream
CUR_REV=$(get_current_rev)
echo Current upstream revision: $CUR_REV

# Remove the unused files.
pushd upstream
rm -rf ChangeLog.old .appveyor* .ci .github .gitignore .travis* \
	config.guess config.sub libtool-ldflags m4 make_sunver.pl \
	msvc_build
rm -rf .git autogen.sh
cp -a . ..
popd

rm -rf upstream

# Update the MERGE file.
cat << EOF > MERGE
$CUR_REV

The first line of this file holds the git revision number of the
last merge done from the master library sources.
EOF