mirror of
https://github.com/facebook/rocksdb.git
synced 2024-11-25 22:44:05 +00:00
5d96f290b3
Summary: 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. Test Plan: none Differential Revision: https://reviews.facebook.net/D4785
25 lines
1.1 KiB
Bash
Executable file
25 lines
1.1 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=util/build_version.cc
|
|
|
|
# check to see if git is in the path
|
|
which git > /dev/null
|
|
|
|
if [ "$?" = 0 ]; then
|
|
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}
|