| 123456789101112131415161718 | 
							- #!/bin/bash
 
- PAL_GIT_REVISION=$(git describe --tags 2> /dev/null)
 
- if [ -z "$PAL_GIT_REVISION" ]; then
 
-     PAL_GIT_REVISION=$(date -d @$(stat -c %Y ../.gitignore) +"%F %T")
 
- fi
 
- LINE="#define PAL_GIT_REVISION \"$PAL_GIT_REVISION\""
 
- FILE="$(dirname $0)/../generated.h"
 
- grep -F "$LINE" "$FILE" >/dev/null 2>&1
 
- if [ $? -ne 0 ]; then
 
-   echo Generating Git revision header... 1>&2
 
-   echo "$LINE" > "$FILE"
 
- fi
 
- echo -ne
 
 
  |