diff options
| author | Martin Schanzenbach <schanzen@gnunet.org> | 2022-03-25 18:52:28 +0100 |
|---|---|---|
| committer | Martin Schanzenbach <schanzen@gnunet.org> | 2022-03-25 18:52:28 +0100 |
| commit | 4b4d2d61989978a500792c4836bab8cd83535283 (patch) | |
| tree | 8501314c455ead3176748c31e50944c5bc17500f | |
| parent | c93cf9ae12dc03c8569f72afd5d105f3ad98d235 (diff) | |
| download | gnunet-4b4d2d61989978a500792c4836bab8cd83535283.tar.gz gnunet-4b4d2d61989978a500792c4836bab8cd83535283.zip | |
-fix
| -rwxr-xr-x | contrib/get_version.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/contrib/get_version.sh b/contrib/get_version.sh index 778d8efe5..8479202f3 100755 --- a/contrib/get_version.sh +++ b/contrib/get_version.sh | |||
| @@ -1,4 +1,4 @@ | |||
| 1 | #!/bin/sh | 1 | #!/bin/bash |
| 2 | # Gets the version number from git, or from the contents of .version | 2 | # Gets the version number from git, or from the contents of .version |
| 3 | VERSION= | 3 | VERSION= |
| 4 | if test -f ".version" | 4 | if test -f ".version" |
| @@ -15,4 +15,4 @@ if test "x$VERSION" = "x" | |||
| 15 | then | 15 | then |
| 16 | VERSION="unknown" | 16 | VERSION="unknown" |
| 17 | fi | 17 | fi |
| 18 | echo -n "$VERSION" | 18 | echo "$VERSION"\c |