Skip to content
Permalink
Browse files
chore: show the current PostgreSQL HEAD commit id in Travis log
  • Loading branch information
vlsi committed May 28, 2020
1 parent fda4299 commit 332b071928babd1e446f1b0872658a0316617d2e
Showing 1 changed file with 8 additions and 2 deletions.
@@ -11,11 +11,17 @@ then
git clone --depth=1 https://github.com/postgres/postgres.git
cd postgres
else
git clone https://github.com/postgres/postgres.git
mkdir postgres
cd postgres
git checkout ${POSTGRES_SOURCE_SHA}
git init
git remote add origin https://github.com/postgres/postgres.git
git fetch origin --depth=1 ${POSTGRES_SOURCE_SHA}
git checkout -b ci_test FETCH_HEAD
fi

echo Will build the following PostgreSQL commit
git log -1 --format=short

# Build PostgreSQL from source
if [[ "${COMPILE_PG_WITH_DEBUG_FLAG}" == "Y" ]]
then

0 comments on commit 332b071

Please sign in to comment.