mirror of https://github.com/facebook/rocksdb.git
31 lines
1.2 KiB
Bash
Executable File
31 lines
1.2 KiB
Bash
Executable File
#!/bin/sh
|
|
#
|
|
# Record the version of the source that we are compiling.
|
|
# We keep a record of the git revision in util/version.cc. This source file
|
|
# is then built as a regular source file as part of the compilation process.
|
|
# One can run "strings executable_filename | grep _build_" to find the version of
|
|
# the source that we used to build the executable file.
|
|
#
|
|
|
|
# create git version file
|
|
VFILE=$(mktemp)
|
|
trap "rm $VFILE" EXIT
|
|
|
|
# check to see if git is in the path
|
|
which git > /dev/null
|
|
|
|
if [ "$?" = 0 ]; then
|
|
env -i git rev-parse HEAD | awk ' BEGIN {print "#include \"build_version.h\""} {print "const char * leveldb_build_git_sha = \"leveldb_build_git_sha:" $0"\";"} END {}' > ${VFILE}
|
|
else
|
|
echo "git not found"| awk ' BEGIN {print "#include \"build_version.h\""} {print "const char * leveldb_build_git_sha = \"leveldb_build_git_sha:git not found\";"} END {}' > ${VFILE}
|
|
fi
|
|
|
|
date | awk 'BEGIN {} {print "const char * leveldb_build_git_datetime = \"leveldb_build_git_datetime:"$0"\";"} END {} ' >> ${VFILE}
|
|
echo "const char * leveldb_build_compile_date = __DATE__;" >> ${VFILE}
|
|
echo "const char * leveldb_build_compile_time = __TIME__;" >> ${VFILE}
|
|
|
|
OUTFILE=util/build_version.cc
|
|
if [ ! -e $OUTFILE ] || ! cmp -s $VFILE $OUTFILE; then
|
|
cp $VFILE $OUTFILE
|
|
fi
|