Code indexing in gitaly is broken and leads to code not being visible to the user. We work on the issue with highest priority.

Skip to content
Snippets Groups Projects
Commit 06e74873 authored by Christof Metzger-Kraus's avatar Christof Metzger-Kraus
Browse files

The file revision.h has been renamed to OPALrevision.h

parent cf7f99e3
No related branches found
No related tags found
No related merge requests found
......@@ -3,10 +3,10 @@
REV=`git rev-parse HEAD`
echo "#define GIT_VERSION \"$REV\"" > revision.tmp
diff revision.tmp src/revision.h 2>&1 > /dev/null
diff revision.tmp src/OPALrevision.h 2>&1 > /dev/null
if [ $? -eq 1 ];then
mv revision.tmp src/OPALrevision.h
else
rm revision.tmp
fi
fi
\ No newline at end of file
......@@ -3,10 +3,10 @@
REV=`git rev-parse HEAD`
echo "#define GIT_VERSION \"$REV\"" > revision.tmp
diff revision.tmp src/revision.h 2>&1 > /dev/null
diff revision.tmp src/OPALrevision.h 2>&1 > /dev/null
if [ $? -eq 1 ];then
mv revision.tmp src/OPALrevision.h
else
rm revision.tmp
fi
fi
\ No newline at end of file
......@@ -3,10 +3,10 @@
REV=`git rev-parse HEAD`
echo "#define GIT_VERSION \"$REV\"" > revision.tmp
diff revision.tmp src/revision.h 2>&1 > /dev/null
diff revision.tmp src/OPALrevision.h 2>&1 > /dev/null
if [ $? -eq 1 ];then
mv revision.tmp src/OPALrevision.h
else
rm revision.tmp
fi
fi
\ No newline at end of file
......@@ -3,10 +3,10 @@
REV=`git rev-parse HEAD`
echo "#define GIT_VERSION \"$REV\"" > revision.tmp
diff revision.tmp src/revision.h 2>&1 > /dev/null
diff revision.tmp src/OPALrevision.h 2>&1 > /dev/null
if [ $? -eq 1 ];then
mv revision.tmp src/OPALrevision.h
else
rm revision.tmp
fi
fi
\ No newline at end of file
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment