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