diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/generate-revision | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/scripts/generate-revision b/scripts/generate-revision new file mode 100755 index 0000000..9698141 --- /dev/null +++ b/scripts/generate-revision @@ -0,0 +1,8 @@ +#! /bin/sh +rev="$(git rev-parse --verify --quiet HEAD)" +cat << EOF > "$1" +#ifndef _REVISION_H +#define _REVISION_H +#define DGED_REVISION "$rev" +#endif +EOF |