diff options
Diffstat (limited to 'write_makefile.sh')
| -rwxr-xr-x | write_makefile.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/write_makefile.sh b/write_makefile.sh index c9b107b..ab23cf2 100755 --- a/write_makefile.sh +++ b/write_makefile.sh @@ -29,7 +29,7 @@ SRCDIR="${SRCDIR#'srcdir = '}" DEFAULT_TARGET="$(grep '^default_target = ' record.conf)" DEFAULT_TARGET="${DEFAULT_TARGET#'default_target = '}" -eval VERSION=$(cat "$SRCDIR/version") +VERSION=$(cat "$SRCDIR/version" | sed 's/^"\(.*\)"$/\1/; s/-beta/b/') sed '/^# Configuration gets included here by write_makefile\.sh$/r record.conf s|<<VPATH>>|'"$SRCDIR"'| |