diff options
| author | Albert Cervin <albert@acervin.com> | 2025-11-25 16:09:38 +0100 |
|---|---|---|
| committer | Albert Cervin <albert@acervin.com> | 2025-11-25 16:09:38 +0100 |
| commit | a4056eb9de575463ccc9f53db8952e49801a8cf3 (patch) | |
| tree | 92cd5a2169f22b1fa84aa8c20a91774c7fd1668b /scripts | |
| parent | c21bd5f2d9f4ec2230b31040fd3c34cbe417476f (diff) | |
| download | dged-a4056eb9de575463ccc9f53db8952e49801a8cf3.tar.gz dged-a4056eb9de575463ccc9f53db8952e49801a8cf3.tar.xz dged-a4056eb9de575463ccc9f53db8952e49801a8cf3.zip | |
Revert the revision
It does not play nice with Nix
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 |